TY  - BOOK
AU  - Kleene,Stephen Cole
AU  - Vesley,Ricahrd Eugene
TI  - The foundations of intuironistic mathematics: specially in relation to recursive finctions 
U1  - 512.81 
PY  - 1965///
CY  - Amsterdam
PB  - North-Holland
KW  - Structural analysis (Engineering)
KW  - Recursive functions
N1  - Bibliography: p. 187-199; Includes index
ER  -