The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions (1965)

by S C Kleene, R E Vesley