Математический интуиционизм. Введение в теорию доказательств/Драгалин, Альберт Григорьевич.

 

QR-код документа

Оценок: 0

510 Д 721
Драгалин, Альберт Григорьевич.
    Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.

УДК
510.6

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

   теория доказательств (математика)

Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)

Авторизуйтесь для получения дополнительных услуг