Refine your search
Availability
-
Authors
- Casanovas, Enrique
- Cooper, S. Barry
- Delon, Françoise
- Dimitracopoulos, Costas
- Downey, Rod
- Feferman, Solomon
- Goldblatt, Robert
- Greenberg, Noam
- Hamkins, Joel David
- Haskell, Deirdre
- Hirschfeldt, Denis
- Hrushovski, Ehud
- Lerman, Manuel
- Macpherson, Dugald
- Miller, Russell
- Mitchell, William J.
- Parsons, Charles
- Simpson, Stephen G.
- Steel, John R.
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- Computable functions
- Computational complexity
- Congresses
- Domination (Graph theory)
- First-order logic
- Hyperspace
- Logic, Symbolic and mathematical
- Machine theory
- Mathematical analysis
- Mathematical models
- Modality (Logic)
- Model theory
- Priority (Philosophy)
- Proof theory
- Semantics (Philosophy)
- Valued fields
- Variables (Mathematics)
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages
