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:
SPECTRAL TECHNIQUES IN DIGITAL LOGIC
S.L.HURST D.M.MILLER I.C.MUZIO2222 年出版314 页ISBN:0123626803