Refine your search
Availability
-
Authors
- Barwise Jon (1)
- Blass A R (1)
- Borger, Egon (1)
- Buechler, Steven (1)
- Dalen Dirk van (1)
- Devlin K J (1)
- Ebbinghaus Heinz-Die... (2)
- Feferman S (1)
- Fenstad Jens E (1)
- Flum Jorg (1)
- Gradel, Erich (1)
- Gurevich, Yuri (1)
- Hajek, Petr (1)
- Hinman Peter G (1)
- Kanamori Akihiro (1)
- Kister J E (1)
- Muller G H (6)
- Rautenberg Wolfgang (2)
- Sacks Gerald E (1)
- Simpson Stephen G (1)
- Show more
- Show less
-
Item types
- Books (21)
-
Locations
- NBHM Collection (3)
-
Series
-
Topics
- Admissible theory (1)
- Arithmetic (1)
- Arithmetics (1)
- Bibliography (3)
- Bibliography-Mathema... (3)
- Calculus (1)
- Computable functions (1)
- Construction (1)
- Constructive mathema... (1)
- Definability theory (1)
- Large cardinals (1)
- Mathematical logic (5)
- Mathematics (1)
- Model theory (2)
- Proof theory (1)
- Recursion theory (4)
- Recursive functions (1)
- Set theory (3)
- Stability theory (1)
- Unsolvability (1)
- Show more
- Show less