TY  - GEN
AU  - Hamkins, Joel David 
TI  - Proof and the Art of Mathematics: Examples and Extensions
SN  - 9780262542203
U1  - 511.36 HAM/P 
PY  - 2021///
CY  - United States of America -- 
PB  - The MIT Press -- 
KW  - Mathematics	
KW  - Proof theory	
KW  - Logic, Symbolic and mathematical	
ER  -