QR code of document
> 517.11
К 268
Основания математической логики [Текст] : пер. с англ. / Карри Хаскелл Б. - М. : Мир, 1969. - 568 c.
УДК | 517.11 |
Кл.слова (ненормированные):
кванторы -- НЛ -- исчисления -- теория модальностей -- математическая логика -- математика -- Биневский, Александр Александрович (библиотека) -- отрицание -- методология математики -- формальные системы -- импликация
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)