Refine your search
Availability
-
Authors
- Cook, Stephen (1)
- Cooper, S. B. (1)
- Delon, F. (1)
- Feferman, Solomon (1)
- Greenberg, Noam (1)
- Gödel, Kurt (1)
- Hamkins, Joel David (1)
- Hirschfeldt, Denis R... (1)
- Kechris, A. S. (1)
- Lerman, M. (1)
- Löwe, Benedikt (1)
- Mercure, Jean-Franco... (1)
- Miller, Russell (1)
- Nguyen, Phuong (1)
- Parsons, Charles (1)
- Simpson, Stephen G. (1)
- Steel, J. R. (1)
- Show more
- Show less
-
Collections
- E-Books EBSCO (7)
- General Books (1)
-
Home libraries
-
Item types
- Electronic-Books (7)
- Print (1)
-
Locations
- Main Library (1)
-
Series
-
Topics
- Antériorité (Philoso... (1)
- Computable functions (1)
- Computational comple... (1)
- Environmental econom... (1)
- Fonctions calculable... (1)
- Logic, Symbolic and ... (7)
- Logique symbolique e... (5)
- MATHEMATICS (7)
- Measure theory (1)
- Model theory (1)
- Priority (Philosophy... (1)
- Proof theory (2)
- Symbolische logica (1)
- Théorie de la mesure (1)
- Théorie de la preuve (2)
- Théorie des jeux (1)
- Théorie des modèles (1)
- Wiskundige logica (1)
- Show more
- Show less