Verwandte Artikel zu Formalized Recursive Functionals and Formalized Realizabilit...

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

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