Formalized Recursive Functionals and Formalized Realizability - Memoirs of the American Mathematical Society - S.C. Kleene - Books - American Mathematical Society - 9780821812891 - December 30, 1969
In case cover and title do not match, the title is correct

S.C. Kleene
Formalized Recursive Functionals and Formalized Realizability - Memoirs of the American Mathematical Society

Get an email once the item is available
Do you have a profile? Log in
Get notified about new S.C. Kleene releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

106 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 30, 1969
ISBN13 9780821812891
Publishers American Mathematical Society
Pages 106
Dimensions 150 × 220 × 10 mm   ·   239 g   (Weight (estimated))

More from the same publisher

See all of S.C. Kleene ( e.g. Hardcover Book and Paperback Book )