LECTURE NOTES IN MATHEMATICS 1407: PROOF THEORY
1989 年出版216 页ISBN：3540518428;0387518428
FACT INVESTIGATION FROM HYPOTHESIS TO PROOF
DAVID A.BINDER AND PAUL BERGMAN1984 年出版354 页ISBN：031481258X
Exploring Mathematics: An Engaging Introduction to Proof
John Meier2017 年出版324 页ISBN：1107128989
INNOVATIONS IN EVIDENCE AND PROOF INTEGRATING THEORY
RESEARCH AND TEACHING2009 年出版413 页ISBN：
Sangaku proofs a Japanese mathematician at work
J. Marshall Unger2015 年出版100 页ISBN：1939161550
TRANSITION TO HIGHER MATHEMATICS:STRUCTURE AND PROOF
BOB A.DUMAS JOHN E.MCCARTHY2007 年出版296 页ISBN：007353353X
EXPERT EVIDENCE AND SCIENTIFIC PROOF IN CRIMINAL TRIALS
LAUI ROBERTTS2014 年出版605 页ISBN：1409466062
