Formalized Recursive Functionals and Formalized Realizability - Brossura

Kleene, Stephen C.

 
9780821812891: Formalized Recursive Functionals and Formalized Realizability
Brossura
ISBN 10: 0821812890 ISBN 13: 9780821812891
Casa editrice: Amer Mathematical Society, 1969

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Amer Mathematical Society
Data di pubblicazione
1969
Lingua
Inglese
ISBN 10 
0821812890
ISBN 13 
9780821812891
Rilegatura
Copertina flessibile
Numero di pagine
106
Contatto del produttore
non disponibile
Persona responsabile
non disponibile