A course in mathematical logic
by J. L. Bell and M. Machover.1977 年出版599 页ISBN:0720428440
SPECTRAL TECHNIQUES IN DIGITAL LOGIC
S.L.HURST D.M.MILLER I.C.MUZIO2222 年出版314 页ISBN:0123626803
Algebra, Logic and Combinatorics Volume 3
Shaun Bullett ; Tom Fearn ; Frank Smith2016 年出版176 页ISBN:1786340306