TY  - BOOK
AU  - Heyting, Arend,
TI  - Intuitionism: an introduction 
U1  - 164 HEY 
PY  - 1956///
CY  - Amsterdam
PB  - North-Holland Pub. Co.,
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
KW  - Methodology
N1  - Bibliography: p. 123-129
ER  -