Formalized Recursive Functionals and Formalized Realizability (Amer Math Soc Memoir - # 89) - Softcover
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.
Search results for Formalized Recursive Functionals and Formalized Realizabilit...
Stock Image
Formalized Recursive Functionals and Formalized Realizability
Published by
American Mathematical Society, 1969
ISBN 10: 0821812890
ISBN 13: 9780821812891
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 13797501-6