Refine your search
Availability
-
Authors
- Biswas, Nripendra Na...
- Cohen, Paul J.
- Gradel, Erich
- Hamkins, Joel David
- Havil, Julian
- Hill, Shirley A.
- Hils, Martin
- Kleene, Stephen Cole
- Lipschutz, Seymour
- Livio, Mario
- Loeser, Fancois
- Meyer, Paul L.
- Nerode, Anil
- Rucker, Rudy v. B.
- Sawyer, W. W.
- Srivastava, S. M.
- Stoll, Robert Roth
- Thomas, Wolfgang
- Wilke, Thomas
- Wittgenstein, Ludwig
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra, Abstract
- Combinatorial analys...
- Computer science
- Formal languages
- Infinite
- Language and languag...
- Logic design
- Logic programming
- Logic symbolic and m...
- Logic, Symbolic and ...
- Machine theory
- Mathematics
- Mathematics-study an...
- Probabilities
- Proof theory
- Proof theory Textboo...
- Set theory
- Textbooks
- Show more
- Show less