BOOLEAN-VALUED MODELS AND INDEPENDENCE PROOFS IN SET THEORY
1977 年出版126 页ISBN：0198531680
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
Lecture Notes in Computer Science 3517 Human Interactive Proofs Second International Workshop
HIP 20052005 年出版141 页ISBN：3540260013
Lecture Notes in Computer Science 4454 Tests and Proofs First International Conference
TAP 20072007 年出版217 页ISBN：9783540737698
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
2007 年出版273 页ISBN：9783540731467
