Refine your search
Availability
-
Authors
- Borceux, Francis (3)
- Davis, Martin (1)
- Krajicek, Jan (1)
- Leonid, Libkin (1)
- Menzler-Trott, Eckar... (1)
- Sigal, Ron (1)
- Smullyan, Raymond M. (1)
- Stoll, Robert R. (1)
- Straubing, Howard (1)
- Tourlakis, George (1)
- Weyuker, Elaine J. (1)
- Show more
- Show less
-
Collections
- General (8)
-
Item types
- Books (11)
-
Locations
- General Stacks (4)
-
Series
-
Topics
- Algorithm Analysis (1)
- Algorithms (1)
- Automata (1)
- Boolean algebra (1)
- Categories (3)
- Combinatoric Logic (1)
- Computational Comple... (2)
- Computer Science (2)
- Computer Software (1)
- Computers (1)
- Constructive Mathema... (1)
- Database Management (1)
- First-order Logic (1)
- Formal Languages (1)
- General principles o... (1)
- German Logic (1)
- Homological Algebra (2)
- Informal axiomatic m... (1)
- Logic (1)
- Logic Concepts (1)
- Logic, Symbolic and ... (1)
- Machine Theory (1)
- Mathematical Logic (8)
- Mathematical logic (2)
- Mathematics (7)
- ModelTtheory (1)
- Philosophers (1)
- Problem Complexity (1)
- Proposition (1)
- Propositional Logic (1)
- Rings (1)
- Robotics (1)
- Robots (1)
- Set theory (1)
- Symbolic (1)
- Symbolic Logic (2)
- Symbolic logic (1)
- Zorn's Lemma (1)
- Show more
- Show less