Д4/15786
510
Новиков, П. С. Элементы математической логики / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 399 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 30000 экз. - Б. ц. - Текст : непосредственный.

ГРНТИ	УДК
27.03.19	510
03.91

Рубрики:
Математическая логика

Аннотация: Петр Сергеевич Новиков (1901-1975) – один из создателей школы математической логики в СССР, академик АН СССР. В настоящей книге сделана попытка дать доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги: логика и исчисление высказываний, логика и исчисление предикатов, аксиоматическая арифметика. Последняя, шестая, глава носит более специальный характер, в ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Электронный ресурс
Обложка

Заказать
Заказ фрагмента документа ₽

Просмотр издания