Formalized Recursive Functions and Formalized Realizability, volume 89 (1969)

by Stephen C Kleene
Venue:of Memoirs of the AMS. American Mathematical Society