Refine your search
- Availability
-
Authors
- Greenberg, Noam, (17)
- Hamkins, Joel David, (17)
- Hirschfeldt, Denis, (17)
- Iovino, José. (1)
- Miller, Russell, (17)
- Show more
- Holding libraries
-
Item types
- Books (4)
-
Locations
- General Stacks (4)
-
Series
-
Topics
- Computable functions (17)
- Computer science (1)
- Finite model theory. (1)
- Logic, Symbolic and ... (1)
- Model theory (17)
- Model theory. (3)