Refine your search
Availability
-
Authors
- Boolos, George S. (1)
- Smith, Peter (1)
-
Holding libraries
-
Item types
- Books (2)
-
Locations
-
Series
-
Topics
- Computer science (2)
- Godel numbers (1)
- Logic (1)
- Logic, Symbolic and ... (1)
- Mathematics (2)
- Philosophy (2)
- Ramsey's theorem (1)
- Show more
- Show less