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