Автор: Драгалин Альберт Григорьевич

Основное заглавие: Математический интуиционизм

Сведения, относящ. к заглавию: введение в теорию доказательств

Физический носитель: Текст

Год публикации: 1979

Место издания: Москва

Издательство: Наука

Объем: 256 с.

Cерия: Математическая логика и основания математики

Ключевые слова: Физико-математические науки; Математика;

ББК: 22.122

Библиография: Библиогр.: с. 240-250; Имен. указ.: с. 251-255