TY  - BOOK
AU  - Драгалин,А.Г.
TI  - Математический интуиционизм: введение в теорию доказательств
PY  - 1979///
CY  - М.
PB  - Наука
KW  - Математическая логика
ER  -