TY  - BOOK
AU  - Heyting,A.
TI  - Intuitionism: an introduction 
T2  - Studies in logic and the foundations of mathematics
SN  - 0720422396
PY  - 1971///
CY  - Amsterdam
PB  - North-Holland Publishing
KW  - Intuitionistic mathematics
N1  - Includes bibliography : 127-141 and index
ER  -