Refine your search
Availability
-
Authors
- Boolos, George (2)
- Boolos, George S. (1)
- Burgess, John P. (1)
- Jeffrey, Richard (1)
- Jeffrey, Richard C. (1)
-
Item types
- Books (3)
-
Topics
- Computable functions... (1)
- Logic, Symbolic and ... (1)
- Mathematics (1)
- Modality (Logic) (1)
- Proof theory (1)