Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN：3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN：3540454586
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN：3540230246
七周七语言 卷2 ＝ SEVEN MORE LNGUAGES IN SEVEN WEEKS LANGUAGES THAT ARE SHAPING THE FUTURE
（美）BRUCE A.THAT，（美）FRED DAOUD，（美）IAN DEES，（美）JACK MOFFITT著；7ML翻译组译2016 年出版270 页ISBN：7115427359
THE POMITICAL UNCOMMONS THE CROSS-CULTURAL LOGIC OF THE GLOBAL COMMONS
KATHRYN MILUN2011 年出版231 页ISBN：0754671399
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
THE LOGIC OF EQUALITY A FORMAL ANALYSIS OF NON-DISCRIMINATION LAW
ERIC HEINZE2003 年出版143 页ISBN：075462319x
前提与结论 法律分析的符号逻辑 Premises and Conclusions Symbolic Logic for Legal Analysis
（美）罗伯特·罗德斯2015 年出版0 页ISBN：
LOGIXPRO PLC LAB MANUAL FOR USE WITH PROGRAMMABLE LOGIC CONTROLLERS FOURTH EDITION
FRANK D.PETRUZELLA2011 年出版164 页ISBN：0077477998
