A canonical proof-theoretic approach to model theory
| Title | A canonical proof-theoretic approach to model theory |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | López Pombo, CG, Chocron, P, Vissani, I, Maibaum, TSE |
PDF (Full text):
Work Package:
WP5
