Kleene, Stephen C. Kleene, Stephen C.
Used books, rare books and new books
Formalized Recursive Functionals and Formalized Realizability (Amer Math Soc Memoir - # 89)
ISBN 9780821812891
Paperback, Amer Mathematical Society, 1969
Find This BookFind signed collectible books: "Formalized Recursive Functionals and Formalized Realizability (Amer Math Soc Memoir - # 89)"
Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1)
ISBN 9780821812105
Paperback, Amer Mathematical Society, 1997
Find This BookFind signed collectible books: "Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1)"
The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics, V. 101)
ISBN 9780444853455
Hardcover, Elsevier Science Ltd, 1980
Find This BookFind signed collectible books: "The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics, V. 101)"
