Open Access
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