Новиков П. С. Элементы математической логики. Москва, 1973. Большая российская энциклопедия

Заглавие:: Элементы математической логики
Автор:: Новиков П. С.
Место издания:: Москва
Издатель:: Наука
Дата издания:: 1973
Объём:: 399 с.
Серия:: Математическая логика и основания математики
Аннотация:: В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики.
Рубрики:: Математическая логика
Язык текста:: Русский
Электронная версия:: Перейти