Provability as an order map of the Lindenbaum algebra
By: C.F. Kent.
Series: Lakehead University mathematics research report -- # 9-1970; Lakehead University mathematics research report -- no. 9.
Publisher: Lakehead University
Published: 1970
Place of publication: [Thunder Bay]
Language: eng
Number of pages: 30
Subjects: Axioms.; Logic, Symbolic and mathematical.; Proof theory.
Notes: Includes bibliographical references.