Refine your search
Availability
-
Authors
- Smith, Peter (1)
- Tieszen, Richard L. (1)
-
Holding libraries
-
Item types
- Books (2)
-
Locations
-
Series
-
Topics
- Computer science (1)
- Constructive mathema... (1)
- Godel numbers (1)
- Intuitionistic mathe... (1)
- Logic, Symbolic and ... (2)
- Mathematics (2)
- Phenomenology (1)
- Philosophy (2)
- Show more
- Show less