Translator Disclaimer
October 1976 Errata: ``Axiomatic, sequenzen-kalkul, and subordinate proof versions of $S9$''.
Arnold vander Nat
Notre Dame J. Formal Logic 17(4): 640-640 (October 1976).
First Page PDF

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

JOURNAL ARTICLE
1 PAGES


SHARE
Vol.17 • No. 4 • October 1976
Back to Top