Title: Introduction to mathematical proofs
Subtitle: a transition
Subjects: Textbooks, Symbolic and mathematical Logic, Proof theory