Title: The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley
Subjects: Metamathematics, Recursive functions, Symbolic and mathematical Logic