Formalized recursive functionals and formalized realizability / by S. C. Kleene

Date : 1969

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-8218-1289-0

Fonctions récursives

Kleene, Stephen Cole (1909-1994) (Auteur / author)

Collection : Memoirs of the American Mathematical Society / New York City : American Mathematical Society , 1950-

Relation : Formalized recursive functionals and formalized realizability / by S.C. Kleene / Providence (R.I.) : American Mathematical Society , 2012