Title: Mathematical proof: an elementary approach
Subjects: Proof theory