1 results
Interpolation in goal-directed proof systems 1
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 170-216
-
- Chapter
- Export citation