TY  - BOOK
AU  - Kleene,Stephen Cole,1909-
AU  - Vesley,Richard Eugene,1932-
TI  - The foundations of intuitionistic mathematics: especially in relation to recursive functions
PY  - 1965///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Intuitionistic mathematics
KW  - Recursive functions
N1  - 'Bibliography, by S. C. Kleene': p. (187-199)
ER  -