TY  - BOOK
AU  - Heyting A.
TI  - Intuitionism :  an introduction.   
T2  - Studies in logic and the foundations of mathematics
PY  - 1956///
CY  - Amsterdam
PB  - North-Holland publishing co.        
N1  - BIbliography :P.123-128; Glossary :133p
ER  -