Refine your search
Availability
-
Authors
- Clote Peter (1)
- Krajicek Jan (2)
-
Item types
- Books (2)
-
Locations
- NBHM Collection (1)
-
Series
-
Topics
- Computational comple... (2)
- Constructive mathema... (1)
- Mathematical logic (1)
- Proof theory (1)
- Proposition(Logic) (1)