What do you think?
Rate this book
Formalized Recursive Functionals and Formalized Realizability
This monograph carries out the program which the author formulated in earlier work, the formalization of the theory of recursive functions of type 0 and 1 and of the theory of realizability.
106 pages, Paperback
First published June 1, 1969
3 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.