TY - BOOK AU - Solow,Daniel TI - How to read and do proofs SN - 0471680583 U1 - 511.36 PY - 2004/// CY - USA PB - John Wiley KW - Proof theory, textbooks KW - Logic symbolical and mathematical text books ER -