Formalized Recursive Functionals and Formalized Realizability [Amer Math Soc Memoir - # 89] (Paperback) ISBN-13: 9780821812891 ISBN-10: 0821812890 ? The Kleene Symposium Proceedings of the Symposium Held June 1824 1978 at Madison Wisconsin Usa [Studies in Logic and the Foundations of Mathematics] (Hardcover) ISBN-13: 9780444853455 ISBN-10: 0444853456 Genres: Nonfiction, Science & Math ? Two Papers on the Predicate Calculus [Memoirs of the American Mathematical Society , Vol 1] (Paperback) |