Книга
КОВАЛЬЧУК 1435

Нагель, Эрнест.
Теорема Геделя / Э. Нагель, Д. Р. Ньюмен; пер. с англ.: Ю. А. Гастев. – М. : Знание, 1970. – 63 с. – (Новое в жизни, науке, технике. Математика, кибернетика)
Библиогр. в подстроч. примеч.

ББК В12

Предметні рубрики = Іменні фонди : іменний фонд Ковальчук
Предметні рубрики = Математика : основания математики, математическая логика : логические исчисления, исчисления высказываний, исчисление предикатов

1567388 ОФ