The completeness of an intensional logic: definite topological logic.
James W. Garson
Source: Notre Dame J. Formal Logic Volume 14, Number 2
(1973), 175-184.
First Page:
Show
Hide
Primary Subjects:
02C10
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093890891
Zentralblatt MATH identifier: 0205.30401
Mathematical Reviews number (MathSciNet): MR0329861
Digital Object Identifier: doi:10.1305/ndjfl/1093890891
Notre Dame Journal of Formal Logic
