Refine your search
- Availability
-
Authors
- Braffort, P. (1)
- Dürr, Karl, (1)
- Kreisel, Georg. (1)
- Krivine, J. L. (1)
- Mostowski, Andrzej, (1)
- Show more
- Holding libraries
-
Item types
- Books (8)
-
Locations
- General Stacks (8)
-
Series
-
Topics
- Algebraic logic. (1)
- Arithmetic (1)
- Cardinal numbers. (1)
- Computer programming... (1)
- Descriptive set theo... (1)
- Logic, Symbolic and ... (2)
- Logic. (2)
- Mathematical analysi... (1)
- Set theory. (2)