Simplifying the axioms of the predicate calculus
From MaRDI portal
Publication:1252222
DOI10.1305/ndjfl/1093883051zbMath0394.03014WikidataQ114598278 ScholiaQ114598278MaRDI QIDQ1252222
Publication date: 1980
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883051
03B10: Classical first-order logic