Refine your search
Availability
-
Authors
- Chubb, Jennifer
- Eskandarian, Ali
- Feferman, Solomon
- Goldblatt, Robert
- Harizanov, Valentina S.
- Hájek, Petr
- Kahle, Reinhard
- Kennedy, Juliette
- Kossak, Roman
- Mitchell, William J.
- Moschovakis, Yiannis N.
- Sieg, Wilfried
- Simon, Pierre
- Simpson, Stephen G.
- Sommer, Richard
- Steel, J. R.
- Talcott, Carolyn
- Show more
- Show less
-
Series
-
Topics
- Algebra, Abstract
- Computer science
- Constructibility (Set theory)
- Constructive mathematics
- Independence (Mathematics)
- Induction (Mathematics)
- Large cardinals (Mathematics)
- Logic, Symbolic and mathematical
- Mathematical physics
- Mathematics
- Modality (Logic)
- Model theory
- Quantum computing
- Recursion theory
- Reverse mathematics
- Semantics (Philosophy)
- Set theory
- Variables (Mathematics)
- Show more
- Show less