Refine your search
Availability
-
Authors
- Boolos, George S. (1)
- Hart, W. D. (1)
- Smith, Peter (1)
- Tieszen, Richard L. (1)
-
Holding libraries
-
Item types
- Books (4)
-
Locations
- Fourth Floor (1)
- Third Floor - Left Wing (3)
-
Series
-
Topics
- Computer science (2)
- Constructive mathema... (1)
- Godel numbers (1)
- History (1)
- Hypothesis (1)
- Intuitionistic mathe... (1)
- Logic (2)
- Logic, Symbolic and ... (2)
- Mathematics (3)
- Phenomenology (1)
- Philosophy (4)
- Ramsey's theorem (1)
- Truth (1)
- Show more
- Show less