Notre Dame Journal of Formal Logic

TitleA completeness-proof method for extensions of the implicational fragment of the propositional calculus
Publication TypeJournal Article
Year of Publication1980
AuthorsBatens, D
JournalNotre Dame Journal of Formal Logic
Volume21
Pagination509–517
Citation KeyD:cpm