Formalized Recursive Functionals and Formalized Realizability - Couverture souple

Kleene, S.C.

 
9780821812891: Formalized Recursive Functionals and Formalized Realizability
Couverture souple
ISBN 10 : 0821812890 ISBN 13 : 9780821812891
Editeur : American Mathematical Society, 1969

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
American Mathematical Society
Date d'édition
1969
Langue
anglais
ISBN 10 
0821812890
ISBN 13 
9780821812891
Reliure
Broché
Nombre de pages
106
Coordonnées du fabricant
non disponible
Personne responsable
non disponible