Items related to Formalized Recursive Functionals and Formalized Realizabilit...

Formalized Recursive Functionals and Formalized Realizability (Amer Math Soc Memoir - # 89) - Softcover

Kleene, Stephen C.

 
9780821812891: Formalized Recursive Functionals and Formalized Realizability (Amer Math Soc Memoir - # 89)
Softcover
ISBN 10: 0821812890 ISBN 13: 9780821812891
Publisher: Amer Mathematical Society, 1969

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Amer Mathematical Society
Publication date
1969
Language
English
ISBN 10 
0821812890
ISBN 13 
9780821812891
Binding
Paperback
Number of pages
106