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
TRANSITION TO HIGHER MATHEMATICS:STRUCTURE AND PROOF
BOB A.DUMAS JOHN E.MCCARTHY2007 年出版296 页ISBN：007353353X
Fermat's Last Theorem The Proof Volume 245
Takeshi Saito2014 年出版224 页ISBN：0821898499
IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN：0134518322
BRIDGE TO ABSTRACT MATHEMATICS MATHEMATICAL PROOF AND STRUCTURES
RANDOM HOUSE1987 年出版395 页ISBN：
EXPERT EVIDENCE AND SCIENTIFIC PROOF IN CRIMINAL TRIALS
LAUI ROBERTTS2014 年出版605 页ISBN：1409466062
