Refine your search
- Availability
-
Authors
- Negri, Sara (1)
- Plato, Jan Von (1)
- Plato, Jan Von (1)
- Holding libraries
- Home libraries
-
Item types
- Books (2)
-
Topics
- Logic, Symbolic and mathematical (1)
- Proof Theory (1)
- Reasoning (1)