TY  - BOOK
AU  - Kleene, Stephen Cole,
AU  - Vesley, Richard Eugene
TI  - THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS: ESPECIALLY IN RELATION TO RECURSIVE FUNCTIONS
U1  - 160 
PY  - 1965///
CY  - 
PB  - North-Holland Publishing Company
ER  -