A course in mathematical logic
by J. L. Bell and M. Machover.1977 年出版599 页ISBN:0720428440
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
Spectral theory and geometric analysis : international conference in honor of Mikhail Shubin's 65th
July 29 - August 22222 年出版0 页ISBN:
NICHOLAS RESCHER TOPICS IN PHILOSOPHICAL LOGIC
WESLEY C.SALMON1968 年出版347 页ISBN: