Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
И
интуиционизм математический
Документи:
Драгалин, А. Г.
Математический интуиционизм [Текст] : Введение в теорию доказательств / А. Г. Драгалин. – М. : Наука, 1979. – 256 с. – (Мат. логика и основания математики).
Інформаційно-пошукова система
'УФД/Бібліотека'
