Relevant logic a philosophical interpretation
Edwin D. Mares2004 年出版230 页ISBN:0521829232
A course in mathematical logic
by J. L. Bell and M. Machover.1977 年出版599 页ISBN:0720428440
COMPUTATIONAL DRUG DESIGN A Guide for Computational and Medicinal Chemists
2009 年出版307 页ISBN:9780470126851