Download or read book Formalized Recursive Functionals and Formalized Realizability written by Stephen Cole Kleene and published by American Mathematical Soc.. This book was released on 1969 with total page 110 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.