TY - BOOK AU - Solow,Daniel TI - How to read and do proofs: an introduction to mathematical thought processes SN - 0471680583 (pbk. : acid-free paper) PY - 2005/// CY - Hoboken, N.J. PB - John Wiley KW - Proof theory KW - Textbooks KW - Logic, Symbolical and mathematical N1 - Includes bibliographical references (p. 265-266) and index ER -