Translator Disclaimer
September 2006 Correspondences between Gentzen and Hilbert systems
J. G. Raftery
J. Symbolic Logic 71(3): 903-957 (September 2006). DOI: 10.2178/jsl/1154698583
First Page PDF

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

JOURNAL ARTICLE
55 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.71 • No. 3 • September 2006
Back to Top