TY  - BOOK
AU  - Heyting,A.
TI  - Intuitionism: an introduction 
U1  - 511.36 23
PY  - 1966///
CY  - Amsterdam
PB  - North-Holland
KW  - Intuitionistic mathematics
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
KW  - Philosophy
N1  - Previous ed.: 1956; Bibliography: p. 123-133. - Includes index
ER  -