MATHEMATICAL FOUNDATION FOR COMPUTER SCIENCE
M.VASANTHI2013 年出版264 页ISBN:0842657416
MATHEMATICAL STRUCTURES FOR COMPUTER SCIENCE
JUDITH L.GERSTING2222 年出版426 页ISBN:0716713055
A course in mathematical logic
by J. L. Bell and M. Machover.1977 年出版599 页ISBN:0720428440
DISCRETE MATHEMATICAL STRUCTURES GOR COMPUTER SCIENCE
BERNARD KOLMAN2222 年出版421 页ISBN:
A Course in Mathematical Logic=数学逻辑教程
J. L. Bell ; M. Machover2015 年出版599 页ISBN:7510086304