How to read and do proofs an introduction to mathematical thought processes - Solow, Daniel (Hoboken, N.J. Wiley, 2005)
Keywords: Proof theory -- Textbooks; Logic, Symbolical and mathematical -- Textbooks