TY  - BOOK
AU  - Kleene S C
AU  - Vesley R E
TI  - Foundations of intutionistic mathematics
U1  - 511.22 
PY  - 1965///
CY  - Amsterdam
PB  - North-Holland
KW  - Intuitive mathematics
ER  -