FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN：0201172372
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：
The elementary theory of groups a guide through the proofs of the Tarski conjectures Volume 60
Benjamin Fine ; Anthony Gaglione ; Alexei Myasnikov ; Gerhard Rosenberger ; Dennis Spellman2014 年出版308 页ISBN：3110341997
