A free logic with simple and complex predicates.
Ermanno Bencivenga and Karel Lambert
Source: Notre Dame J. Formal Logic Volume 27, Number 2
(1986), 247-256.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093636615
Zentralblatt MATH identifier: 0614.03010
Mathematical Reviews number (MathSciNet): MR842151
Digital Object Identifier: doi:10.1305/ndjfl/1093636615
Notre Dame Journal of Formal Logic
