How to read and do proofs : an introduction to mathematical thought processes - Solow, Daniel (Hoboken, N.J. : John Wiley, 2005)
Includes bibliographical references (p. 265-266) and index
Keywords: Proof theory -- Textbooks; Logic, Symbolical and mathematical -- Textbooks