Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
STRETCH HOW TO FUTURE-PROOF YOURSELF FOR TOMORROW'S WORKPLACE
KARIE WILLYERD BARBARA MISTICK2016 年出版258 页ISBN：1119087250
哥德巴赫猜想证明之拓展研究 ＝ Development research of proof of Goldbach's conjecture
胡振武著2016 年出版253 页ISBN：
论行政程序中的证明标准＝ON THE STANDARD OF PROOF IN ADMINISTRATIVE PROCEDURE
汪成红著2014 年出版0 页ISBN：
THE PROOF OF GUILT A STUDY OF THE ENGLISH CRIMINAL TRIAL THIRD EDITION
1963 年出版373 页ISBN：0420383204
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
2007 年出版273 页ISBN：9783540731467
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
ANALYSIS OF EVIDENCE HOW TO DO THINGS WITH FACTS BASED ON WIGMORE'S SCIENCE OF JUDICIAL PROOF
1991 年出版457 页ISBN：0316039632
