Title: Mathematical proofs, an elementary approach
First published: 1974
Subjects: Proof theory
LC classification: QA9.54