53 books found.
Showing books 1 through 20:
|
| 1. |
|
The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
by University of Wisconsin--Madison, 1978 Kleene Symposium, H. Jerome Keisler, Jon Barwise, Stephen C. Kleene, Kenneth Kunen, Stephen Cole Kleene
Hardcover, Elsevier Science Ltd
(June 1981)
|
|
| 2. |
|
Theory of Relations
by Roland Fraisse
Hardcover, Elsevier Science Ltd
(March 1986)
|
|
| 3. |
|
Combinatory Logic
by Haskell B. Curry
Book
(January 1958)
|
|
| 4. |
|
Intuitionism: An Introduction
by A. Heyting
Book
(January 1971)
|
|
| 5. |
|
Language in Action: Categories, Lambdas and Dynamic Logic
by Johan Van Benthem
Hardcover, North-Holland
(April 1991)
|
|
| 6. |
|
Handbook of Recursive Mathematics: Recursive Algebra, Analysis and Combinatorics
by Iurii Leonidovich Ershov (Editor)
Hardcover, North-Holland
(June 1998)
|
|
| 7. |
|
The Lambda Calculus: Its Syntax and Semantics
by Hendrik Pieter Barendregt
Book
(January 1981)
|
|
| 8. |
|
Handbook of Proof Theory
by Samuel R. Buss (Editor)
Hardcover, Elsevier Science Ltd
(May 1998)
|
|
| 9. |
|
Mathematical Interpretation of Formal Systems
by Wiskundig Genootschap te Amsterdam, Th Skolem
Book
(January 1971)
|
|
| 10. |
|
Tools and Techniques in Modal Logic
by Marcus Kracht
Hardcover, North-Holland
(June 1999)
|
|
| 11. |
|
Constructivism in Mathematics: An Introduction
by A.S. Troelstra, D. Van Dalen
Hardcover, North-Holland
(November 1988)
|
|
| 12. |
|
Rudiments of Calculus
by A. Arnold
Hardcover, North-Holland
(April 2001)
|
|
| 13. |
|
Logical Frameworks for Truth and Abstraction: An Axiomatic Study
by Andrea Cantini
Hardcover, North-Holland
(March 1996)
|
|
| 14. |
|
Selected Papers on Automath
by R.P. Nederpelt
Hardcover, Elsevier Science Ltd
(September 1994)
|
|
| 15. |
|
Truth and Consequence in Medieval Logic
by Ernest Moody
Hardcover, Greenwood Pub Group
(December 1976)
|
|
| 16. |
|
Outlines of a Formalist Philosophy of Mathematics
by Haskell B. Curry
Book
(January 1970)
|
|
| 17. |
|
Hausdorff Gaps and Limits
by Ryszard Frankiewicz, Pawel Zbierski
Hardcover, North-Holland
(February 1994)
|
|
| 18. |
|
Residuated Lattices: And Algebraic Glimpse at Substructural Logics
by Nikolaos Galatos, Peter Jipsen, Kowalski Tomasz, Hiroakira Ono, Tomasz Kowalski
Hardcover, Elsevier Science Ltd
(June 2007)
|
|
| 19. |
|
Set Theory: An Introduction to Independence Proofs
by Kenneth Kunen
Hardcover, Elsevier Science Ltd
(April 1980)
|
|
| 20. |
|
Recursive Functionals
by Luis E. Sanchis
Hardcover, North-Holland
(May 1992)
|
|
Studies in Logic and the Foundations of Mathematics
