Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89) - Softcover

Kleene, Stephen C.

 
9780821812891: Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89)
Softcover
ISBN 10: 0821812890 ISBN 13: 9780821812891
Verlag: American Mathematical Society, 1969

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
American Mathematical Society
Erscheinungsdatum
1969
Sprache
Englisch
ISBN 10 
0821812890
ISBN 13 
9780821812891
Einband
Taschenbuch
Anzahl der Seiten
106
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar