Open Access
VOL. 7 | 2009 Chapter 4: Abstract Logics as Models of Gentzen Systems
Chapter Author(s) Josep Maria Font, Ramon Jansana
Lecture Notes Logic, 2009: 75-103 (2009)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Back to Top