Refine your search
Availability
-
Authors
- Ackermann W (3)
- Bell J L (3)
- Boole George (3)
- Dinkines Flora (3)
- Gabbay Dov M (6)
- Hermes Hans (3)
- Kechris A S ed (4)
- Langer S K (3)
- Lewis C I (3)
- Lorenzen Paul (3)
- Mendelson Elliott (3)
- Nidditch P H (3)
- Quine W V O (4)
- Robinson Abraham (4)
- Rosser J B (3)
- Rozenberg G (8)
- Smullyan Raymond M (4)
- Tarski Alfred (6)
- Trakhtenbrot B A (3)
- Wang Hao (4)
- Show more
- Show less
-
Item types
-
Locations
- 4th Floor (5)
- CD/DVD Collection (3)
- Mahalanobis Collection (1)
- NBHM Collection (23)
- Reference (1)
- Restricted Collection (1)
- Shewhart Collection (6)
- Textbook Library (1)
- Show more
- Show less
-
Series
- Centre for mathemati... (1)
- Computer science and... (2)
- Ergebinisse Der Math... (1)
- Lecture notes in com... (1)
- Lecture notes in mat... (1)
- Lecture notes in mat... (1)
- Lecture notes in mat... (1)
- North-Holland mathem... (1)
- Oxford logic guides,... (2)
- Perspectives in math... (3)
- Studies in logic and... (2)
- Studies in logic and... (2)
- Studies in logic and... (1)
- Studies in universal... (2)
- Theory and decision ... (1)
- Undergraduate texts ... (5)
- Universitext (7)
- University series in... (2)
- Vienna circle collec... (1)
- Wiley-interscience s... (2)
- Show more
- Show less
-
Topics
- Algebra (13)
- Algebraic logic (6)
- Automata theory (14)
- Combinatory logic (5)
- Computable functions (5)
- Computational comple... (5)
- Computer science (12)
- Constructive mathema... (9)
- Fuzzy sets (5)
- Godel's theorem (7)
- Mathematical analysi... (7)
- Mathematical logic (474)
- Mathematical Logic (24)
- Model theory (19)
- Petri net (9)
- Proof theory (17)
- Set theory (51)
- Symbolic (23)
- Symbolic logic (76)
- Toposes (5)
- Show more
- Show less