Refine your search
Availability
-
Authors
- Banaji, Jairus (2)
- Malhotra, V.P. (2)
- Saxena, U.P. (2)
- Solow, Daniel (1)
- Wevner (1)
-
Holding libraries
-
Item types
- Books (6)
-
Locations
- General Stacks (1)
-
Topics
- Logic, Symbolic and ... (1)
- Proof theory (1)