The foundations of intuitionistic mathematics especially in relation to recursive functions
by Stephen Cole Kleene and Richard Eugene Vesley
- Amsterdam : North-Holland Publishing Company, 1965
- viii, 206 p. ; 23 cm.
- Studies in logic and the foundations of mathematics .