Refine your search
Availability
-
Authors
- Blass A R (1)
- Dalen Dirk van (1)
- Ebbinghaus Heinz-Die... (1)
- Hinman P G (1)
- Kister J E (1)
- Logic Colloquium( 19... (1)
- Muller G H (7)
- Muller G H ed (1)
- Rautenberg Wolfgang (2)
- Troelstra A S ;.ed (1)
- Show more
- Show less
-
Item types
- Books (8)
-
Series
-
Topics
- Bibliography (3)
- Bibliography-Mathema... (3)
- Classical logic (1)
- Constructive mathema... (1)
- Mathematical logic (4)
- Model theory (1)
- Non-classical logic (1)
- Proof theory (1)
- Recursion theory (1)
- Set theory (2)
- Show more
- Show less