Hamkins, Joel David Proof and the Art of Mathematics - United States of America -- The MIT Press -- 2020 - xxvi, 208p. ISBN: 9780262539791 Subjects--Topical Terms: Mathematics Proof theory Logic, Symbolic and mathematical Dewey Class. No.: 511.36 HAM/P