Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
INVESTIGATION FOR DETERMINATION OF FACT A PRIMER ON PROOF
RICHARD A.MYREN CAROL HENDERSON GARCIA1989 年出版240 页ISBN：
EVIDENCE AND BURDEN OF PROOF IN FOREIGN SOVEREIGN IMMUNITY LITIGATION
DR.PIERRE F.WALTER2010 年出版490 页ISBN：1452890412
马克思唯灵论批判思想研究=Study on Marx s thought of critique of spiritualism
苗贵山2015 年出版0 页ISBN：
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS
2007 年出版309 页ISBN：9783540759386
