Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
AN INTRODUCTION TO PROOF AND ANALYSIS EXPLORING THE INFINITE
JENNIFER BROOKS2017 年出版283 页ISBN:9781498704496
INVESTIGATION FOR DETERMINATION OF FACT A PRIMER ON PROOF
RICHARD A.MYREN CAROL HENDERSON GARCIA1989 年出版240 页ISBN:
MANAGING THE NEW ENTERPRISE THE PROOF,NOT THE HYPE
HARRIS KERN,RANDY JOHNSON AND MICHAEL HAWKINS1996 年出版212 页ISBN:0132311844
EVIDENCE AND BURDEN OF PROOF IN FOREIGN SOVEREIGN IMMUNITY LITIGATION
DR.PIERRE F.WALTER2010 年出版490 页ISBN:1452890412
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS
2007 年出版309 页ISBN:9783540759386