Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS 135 COMBINATORICS
AUTOMATA AND NUMBER THEORY2010 年出版615 页ISBN:9780521515979
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN:
Theory and Design of Digital Computer Systems Second Edition
Douglas Lewin1980 年出版472 页ISBN: