Notre Dame Journal of Formal Logic

TitleA completeness-proof method for extensions of the implicational fragment of the propositional calculus
Publication TypeJournal Article
AuthorsBatens, D

Export as...

BibTex   Tagged   XML   RIS