Provability formalized and the algebra of formal implication
By: Anton Schwartz
Published: 1989
Language: eng
Number of pages: 31
Subjects: Proof theory
Notes: Thesis (A.B., Honors)--Harvard University, 1989.

Includes bibliographical references.