Post's functional completeness theorem.
Norman M. Martin and Francis Jeffry Pelletier
Source: Notre Dame J. Formal Logic Volume 31, Number 3 (1990), 462-475.
Primary Subjects: 03B05
Secondary Subjects: 94C10
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093635508
Zentralblatt MATH identifier:
0745.03007
Mathematical Reviews number (MathSciNet):
MR1072079
Digital Object Identifier: doi:10.1305/ndjfl/1093635508
Notre Dame Journal of Formal Logic
