Unifying some modifications of the Henkin construction.
George Weaver
Source: Notre Dame J. Formal Logic Volume 33, Number 3
(1992), 450-460.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093634409
Zentralblatt MATH identifier: 0768.03009
Mathematical Reviews number (MathSciNet): MR1184075
Digital Object Identifier: doi:10.1305/ndjfl/1093634409
Notre Dame Journal of Formal Logic
