Refine your search
Availability
-
Authors
- Chang Chen Chung (2)
- Keisler H Jerome (4)
- Robbin Joel (1)
-
Item types
- Books (4)
-
Series
-
Topics
- Computable functions (1)
- Mathematical logic (2)
- Mathematical models (2)
- Model theory (2)
- Predicate logic (1)
- Propositional logic (1)
- Show more
- Show less