Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
MATHEMATICAL STRUCTURES FOR COMPUTER SCIENCE SECOND EDITION
JUDITH L.GERSTING1982 年出版618 页ISBN：0716718022
Computer science and multiple-valued logic theory and applications
1977 年出版548 页ISBN：0444110566
DISCRETE MATHEMATICAL STRUCTURES WITH APPLICATIONS TO COMPUTER SCIENCE
2222 年出版606 页ISBN：0070651426
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE VOLUME I:SETS
RELATIONS2222 年出版0 页ISBN：
COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC THEORY AND APPLICATIONS
DAVID C.RINE2222 年出版640 页ISBN：0444868828
PERSPECTIVES IN MATHEMATICAL LOGIC AZRIEL LEVY BASIC SET THEORY
1979 年出版391 页ISBN：3540084177
EQUATIONS MODELS AND PROGRAMS A MATHEMATICAL INTRODUCTION TO COMPUTER SCIENCE
THOMAS J.MYERS1988 年出版512 页ISBN：
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN：071676864X
