Refine your search
Availability
-
Authors
- Alemi, Mario
- Bouyer, Patricia
- Chaitin, Gregory J.
- Feferman, Solomon
- Goubault-Larrecq, Je...
- Gödel, Kurt
- Hirst, Keith
- Kelley, Dean
- Kolman, Bernard
- König, Barbara
- Martin, John C.
- Mendelson, Elliott
- Morris, C.
- Nelsen, Roger B.
- Nerode, Anil
- Schröder, Lutz
- Shore, Richard A.
- Tall, David Orme
- Vince, A.
- Vince, John
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Artificial intellige...
- Computer programming
- Computer science
- Computer science-Mat...
- Discrete Mathematics...
- Educational: Mathema...
- Electronic data proc...
- Logic, Symbolic and ...
- Machine theory
- Mathematical foundat...
- Mathematical logic
- Mathematical Logic a...
- Mathematical Logic a...
- Mathematical theory ...
- Mathematics
- Programming language...
- Programming Language...
- Programming Techniqu...
- Show more
- Show less