Title: Provability formalized and the algebra of formal implication
Subjects: Proof theory