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