Refine your search
Availability
-
Authors
- Bloch, Ethan D
- Cohen, Paul J.
- Das, Ashok
- DeLong, Howard
- Grzegorczyk, Andrzej
- Halmos, Paul
- Krivine, J. L.
- Larsen, Max D.
- Lee, Richard Char-Tu...
- Lercher, B.
- Lyndon, Roger C.
- Mack, J. M.
- Mendelson, Elliott
- Polya, George
- Rieger, Ladislav
- Robbin, Joel W.
- Seldin, J. P.
- Stillwell, John
- Tveito, Aslak
- Winther, Ragnar
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra, Boolean
- Algebraic logic
- Arithmetic
- Artificial intellige...
- Automatic theorem pr...
- Combinatory logic
- Computational comple...
- Computer science--Ma...
- Intelligence artific...
- Logic, Symbolic and ...
- Logique symbolique e...
- Mathematical recreat...
- Mathematics
- Physics
- Quantum logic
- Set theory
- Théorèmes
- Show more
- Show less