Refine your search
Availability
-
Authors
- Appel, Andrew W.
- Chaitin, Gregory J.
- Cooper, S. B.
- Copeland, B. Jack
- Cummings, Louise
- Ekeland, I.
- Feferman, Solomon
- Harriman, David
- Hausdorff, Felix
- Kleiner, Israel
- Leeuwen, J. van
- Murawski, Roman
- Nahin, Paul J.
- Orlowska, Ewa
- Parsons, Charles
- Petzold, Charles
- Plotkin, J. M.
- Posy, Carl J.
- Priestley, Mark
- Shagrir, Oron
- Sti͡azhkin, N. I.
- Tieszen, Richard L.
- Tubbs, Robert
- Turing, Alan Mathiso...
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Artificial intellige...
- Bovine spongiform en...
- Cognitive science
- Computational comple...
- Computer logic
- Computer programming
- Computer science
- Computer scientist
- Cryptography
- Discoveries in scien...
- Electrical engineers
- Electronic data proc...
- Enigma cipher system
- Ethics
- Fallacies (Logic)
- Functions
- Global analysis (Mat...
- Gödel's theorem
- Human behavior
- Incompleteness theor...
- Induction (Logic)
- Information theory
- Lattice theory
- Logic
- Logic circuits
- Logic, Symbolic and ...
- Logicians
- Mathematical analysi...
- Mathematical optimiz...
- Mathematicians
- Mathematics
- Metamathematics
- Microcomputers
- Number theory
- Ordered sets
- Programming language...
- Reasoning
- Science
- Scientists
- Turing machines
- Show more
- Show less