|
Глушков В.М./ВС59 Клини, Стефен К.. Введение в метаматематику [Текст] / Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского. - М. : Изд-во иностр. лит., 1957. - 526 с. - Бібліогр.: с. 493-509. - Пер. изд. : Introduction to metamathematics / Stephen Cole Kleene. - New York ; Toronto, 1952Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Есенин-Вольпин, А. С. (пер.); Успенский, В. А. (ред.); Kleene, Stephen Cole
Видання зберігається у :
Основний фонд
|
|