Refine your search
Availability
-
Authors
- Barnes, D. W.
- Chang, Chin-Liang
- Copi, Irving M.
- DeLong, Howard
- Edgar, William J.
- Gould, Ronald J
- Gödel, Kurt
- Halmos, Paul R.
- Kreisel, Georg
- Krivine, J. L.
- Larsen, Max D.
- Lee, Richard Char-Tu...
- Mack, J. M.
- Mendelson, Elliott
- Monk, J. Donald
- Mortensen, Chris
- Polya, George
- Robbin, Joel W.
- Stillwell, John
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra of Logic
- Algebraic logic
- Arithmetic
- Artificial intellige...
- Automatic theorem pr...
- Inconsistency (Logic...
- Intelligence artific...
- Logic, Symbolic and ...
- Logic, Symbolic and ...
- Logic, Symbolic and ...
- Logic,Symbolic and M...
- Logique symbolique e...
- Machine theory
- Mathematical Logic
- Mathematical recreat...
- Mathematics
- Symbolic and Mathema...
- Théorèmes
- Show more
- Show less