Translator Disclaimer
January 1972 On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.
D. Bollman, M. Tapia
Notre Dame J. Formal Logic 13(1): 124-128 (January 1972). DOI: 10.1305/ndjfl/1093894634
First Page PDF

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

JOURNAL ARTICLE
5 PAGES


SHARE
Vol.13 • No. 1 • January 1972
Back to Top