Introduction to Mathematical Logic and Resolution Principle
Guo-Jun Wang Hong-Jun Zhou (Second Edition)2222 年出版335 页ISBN:
INTRODUCTION TO COMPUTING SYSTEMS FROM BITS AND GATES TO C AND BEYOND (SECOND EDITION)
[美]YALE N.PATT SANJAY J.PATEL著2006 年出版632 页ISBN: