TY  - BOOK
AU  - Velleman,Daniel J.
TI  - How to prove it: a structured approach 
SN  - 9781108439534 (pbk. : alk. paper)
AV  - QA9 .V38 2019
U1  - 511.3 V54H3 23
PY  - 2023///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Textbooks
KW  - Mathematics
KW  - Proof theory
N1  - Includes index; Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix
ER  -