Refine your search
Availability
-
Authors
- Baldwin, John T.
- Barendregt, H. P.
- Barwise, Jon
- Buechler, Steven
- Cook, Stephen
- Devlin, Keith J.
- Feferman, Solomon
- Fenstad, Jens E.
- Hájek, Petr
- Lerman, M.
- Paris, J. B.
- Pour-El, Marian B.
- Richards, J. Ian
- Sacks, Gerald E.
- Schwichtenberg, Helmut
- Shelah, Saharon
- Simpson, Stephen G.
- Statman, Richard
- Vencovská, Alena
- Wainer, S. S.
- Show more
- Show less
-
Series
-
Topics
- Admissible sets
- Arithmetic
- Axiomatic set theory
- Computable functions
- Computational complexity
- Constructibility (Set theory)
- Definability theory (Mathematical logic)
- Forcing (Model theory)
- Induction (Logic)
- Lambda calculus
- Logic, Symbolic and mathematical
- Mathematical analysis
- Model theory
- Physics
- Predicate calculus
- Proof theory
- Recursion theory
- Stability
- Unsolvability (Mathematical logic)
- Show more
- Show less