Глушков В. М./В31/1
   Чёрч, А.
Введение в математическую логику [Текст] / А. Чёрч. - М. : Изд-во иностр. лит., 1960 .
Т. 1 / пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. - 1960. - 485 с. : табл. - Пер. изд. : Introduction to mathematical logic / Alonzo Church. - New Jersey, 1956

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:
 Математична логіка 


Дод. точки доступу:
Успенский, В. А. (ред.); Чернявский, В. С. (пер.); Church, Alonzo

Видання зберігається у :
Основний фонд