Henkin's completeness proof: forty years later.
Hugues Leblanc, Peter Roeper, Michael Thau, and George Weaver
Source: Notre Dame J. Formal Logic Volume 32, Number 2 (1991), 212-232.
Primary Subjects: 03B10
Secondary Subjects: 03C07
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093635746
Zentralblatt MATH identifier:
0751.03003
Mathematical Reviews number (MathSciNet):
MR1122995
Digital Object Identifier: doi:10.1305/ndjfl/1093635746
Notre Dame Journal of Formal Logic
