Refine your search
Availability
-
Authors
- Benthem, Johan van
- Biswas, Nripendra Na...
- Cohen, Paul J.
- Copi, Irving M.
- DeLong, Howard
- Feferman, Solomon
- Grzegorczyk, Andrzej
- Horwich, Paul
- Krivine, J. L.
- Larsen, Max D.
- Lee, Richard Char-Tu...
- Lyndon, Roger C.
- Mack, J. M.
- Mendelson, Elliott
- Monk, J. Donald
- Polya, George
- Ramsay, Frank Plumpt...
- Rieger, Ladislav
- Robbin, Joel W.
- Stillwell, John
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra of Logic
- Arithmetic
- Artificial intellige...
- Inconsistency (Logic...
- Lambda calculus
- Logic design
- Logic, Symbolic and ...
- Logic, Symbolic and ...
- Logic, Symbolic and ...
- Logic,symbolic and m...
- Mathematical Logic
- Mathematical recreat...
- Mathematics
- Mthematical linguist...
- Ramsay, F P-Biograph...
- Semantics
- Set theory
- Symbolic and Mathema...
- Symbolic and Mathema...
- Show more
- Show less