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