Refine your search
Availability
-
Authors
- Benacerraf, Paul (Ed... (1)
- Boolos, George S. (1)
- Putnam, Hilary (1)
- Smith, Peter (1)
- Tieszen, Richard L. (1)
-
Holding libraries
-
Item types
- Books (4)
-
Locations
-
Series
-
Topics
- Anglo-Saxon Philosop... (1)
- Computer science (2)
- Constructive mathema... (1)
- Godel numbers (1)
- Intuitionistic mathe... (1)
- Logic (1)
- Logic, Symbolic and ... (2)
- Mathematics (4)
- Phenomenology (1)
- Philosopher (1)
- Philosophy (4)
- Ramsey's theorem (1)
- Show more
- Show less