Formalized Recursive Functionals and Formalized Realizability (Memoirs of the American Mathematical Society) - Tapa blanda

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.