AN INTRODUCTION TO PROOF AND ANALYSIS EXPLORING THE INFINITE
JENNIFER BROOKS2017 年出版283 页ISBN：9781498704496
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
哥德巴赫猜想证明之拓展研究 ＝ Development research of proof of Goldbach's conjecture
胡振武著2016 年出版253 页ISBN：
INVESTIGATION FOR DETERMINATION OF FACT A PRIMER ON PROOF
RICHARD A.MYREN CAROL HENDERSON GARCIA1989 年出版240 页ISBN：
PROOFS FROM THE BOOK THRID EDITION
MARTIN AIGNER GUNTER M.ZIEGLER著2006 年出版239 页ISBN：7506282259
本书不是一本教科书，也不是一本专著，而是一本开阔数学视野和提高数学修养的著作。书中介绍了35个著名数学问题的极富创造性和独具匠心的证明。出于可读性的考虑，本书侧重于研究生水平并且局限于数论，几何，分析，.....
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS
2007 年出版309 页ISBN：9783540759386
ANALYSIS OF EVIDENCE HOW TO DO THINGS WITH FACTS BASED ON WIGMORE'S SCIENCE OF JUDICIAL PROOF
1991 年出版457 页ISBN：0316039632
