Refine your search
Availability
-
Authors
- Ackermann, W. (Wilhelm), 1896-1962
- Agostini, Franco
- Allwood, Jens
- American Mathematical Society
- Andersson, Lars-Gunnar
- Back, R. J. R.
- Baecker, Dirk
- Bartley, William Warren, 1934-1990
- Beller, A.
- Ben-Ari, M. , 1948
- Boole, George, 1815-1864
- Boolos, George
- Bostock, David
- Bunch, Bryan H.
- Carnap, Rudolf ,1891
- Carnap, Rudolf, 1891
- Carroll, Lewis, 1832-1898
- Chang, Chin-Liang ,1937
- Quine, W. V. ( Willard Van Orman )
- Stoll, Robert Roth
- Show more
- Show less
-
Item types
-
Locations
-
Series
- ( His Studies in semantics)
- A Series of undergraduate books in mathematics
- A modern introduction to pure mathematics
- Addison-Wesley series in logic
- Artificial intelligence series
- Cambridge mathematical textbooks
- Cambridge textbooks in linguistics
- Computer science and applied mathematics
- Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen
- Dover books on mathematics
- Essence of computing series
- Graduate texts in mathematics
- International library of psychology , philosophy and scientific method
- Irwin series in quantitative analysis for business
- Library of philosophy and logic
- London Mathematical Society lecture note series
- MIT press series in the foundations of computing
- Mathematical Centre Tracts
- Monographs in modern logic
- Oxford handbooks in philosophy
- Show more
- Show less
-
Topics
- Logic, Symbolic and mathematical
- Algebra, Abstract
- Algebra, Abstract -- Outlines, syllabi, etc
- Algebra, Boolean
- Artificial intelligence
- Automatic theorem proving
- B
- BC
- Languages - Philosophy
- Logic
- Logic , Symbolic and mathematical
- Logic, Symbolic and mathematical
- Mathematics - Philosophy
- Mathematics -- Philosophy
- P
- QA
- Recursive functions
- Semantics ( Philosophy )
- Semantics (Philosophy)
- Set theory
- Show more
- Show less
-
Collections
-
Holding libraries