On the consistency of the first-order portion of Frege's logical system.
Terence Parsons
Source: Notre Dame J. Formal Logic Volume 28, Number 1
(1987), 161-168.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093636853
Zentralblatt MATH identifier: 0637.03005
Mathematical Reviews number (MathSciNet): MR871007
Digital Object Identifier: doi:10.1305/ndjfl/1093636853
Notre Dame Journal of Formal Logic
