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
NICHOLAS RESCHER TOPICS IN PHILOSOPHICAL LOGIC
WESLEY C.SALMON1968 年出版347 页ISBN: