How to prove it : a structured approach
Velleman, Daniel J.
How to prove it : a structured approach Daniel J. Velleman (Amherst College, Massachusetts). - Third edition. - Cambridge: Cambridge University Press, 2023. - xii, 458p.
Includes index.
Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.
9781108439534 (pbk. : alk. paper)
2019013488
Logic, Symbolic and mathematical--Textbooks.
Mathematics--Textbooks.
Proof theory--Textbooks.
QA9 / .V38 2019
511.3 V54H3
How to prove it : a structured approach Daniel J. Velleman (Amherst College, Massachusetts). - Third edition. - Cambridge: Cambridge University Press, 2023. - xii, 458p.
Includes index.
Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.
9781108439534 (pbk. : alk. paper)
2019013488
Logic, Symbolic and mathematical--Textbooks.
Mathematics--Textbooks.
Proof theory--Textbooks.
QA9 / .V38 2019
511.3 V54H3