A note on the independence of premiss rule

A note on the independence of premiss rule

TitleA note on the independence of premiss rule
Publication TypeJournal Article
Year of Publication2016
AuthorsIshihara H, Nemoto T
JournalMath. Log. Q.
Volume62
Pagination72–76
URLhttp://dx.doi.org/10.1002/malq.201500032
DOI10.1002/malq.201500032
Undefined