Title: Mathematical Thinking and Writing
Subjects: Symbolic and mathematical Logic, Proof theory, Mathematics, philosophy