Merrie Bergmann ; James Moor ; Jack Nelson2014 年出版626 页ISBN:0078038419
A course in mathematical logic
by J. L. Bell and M. Machover.1977 年出版599 页ISBN:0720428440
COMPUTERS from logic to architecture
R.D.DOWSING and F.W.D.WOODHAMS1990 年出版290 页ISBN:
ELSEVIER'S DICTIONARY OF THE GAS INDUSTRY IN SEVEN LANGUAGES
1961 年出版628 页ISBN: