甘肃省古籍文献整理编译中心,中国华东文献丛书编辑委员会编2010 年出版622 页ISBN:7507732719
Introduction to Mathematical Logic and Resolution Principle
Guo-Jun Wang Hong-Jun Zhou (Second Edition)2222 年出版335 页ISBN:
Discrete Mathematical Structures for Computer Scientists and Engineers
2007 年出版538 页ISBN:9781842652985