Open Access
October 1971 The consistency of the axioms of abstraction and extensionality in a three-valued logic.
Ross T. Brady
Notre Dame J. Formal Logic 12(4): 447-453 (October 1971). DOI: 10.1305/ndjfl/1093894366
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.12 • No. 4 • October 1971
Back to Top