QR code of document
> 517 Н 73
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 c. - (Математическая логика и основания математики)
УДК | 517 |
Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика -- доказательств теория -- высказываний алгебра -- кванторы -- математика -- предикатов логика
Экземпляры всего: 6
Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)