TY  - BOOK
AU  - Hamkins,Joel David
TI  - Proof and the art of mathematics: examples and extensions
SN  - 9780262542203
AV  - QA9.54 .H345 2020
U1  - 511.36 H180P 23
PY  - 2021///
CY  - Cambridge
PB  - The MIT Press
KW  - Proof theory
KW  - Textbooks
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and indexes
N2  - "A textbook for students who are learning how to write a mathematical proof, a validation of the truth of a mathematical statement"--
ER  -