TY  - BOOK
AU  - Гейтинг, Аренд
AU  - Янков,Вадим Анатольевич
AU  - Марков,Андрей Андреевич
TI  - Интуиционизм: введение
T2  - Библиотека сборника «Математика»
PY  - 1965///
CY  - Москва
PB  - Мир
N1  - Пер. изд.: Intuitionism / A. Heyting. Amsterdam : North-Holland, 1956; Библиогр.: с. 152-159 и 194-195; Предм. указ.: с. 196-198
ER  -