×

zbMATH — the first resource for mathematics

Formalized recursive functionals and formalized realizability. (English) Zbl 0184.02004
Mem. Am. Math. Soc. 89, 106 p. (1969).

PDF BibTeX XML Cite
Full Text: DOI