Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2, 1994

Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann (Eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press 1994, ISBN 0-19-853746-8 BibTeX

Larry Wos, Robert Veroff: Logical basis for the automation of reasoning: Case studies. 1-40 BibTeX
Franz Baader, Jörg H. Siekmann: Unification theory. 41-126 BibTeX
Christoph Walther: Mathematical induction. 127-228 BibTeX
Daniel Leivant: Higher order logic. 229-322 BibTeX
Donald Perlis, V. S. Subrahmanian: Meta-languages, reflection principles, and self-reference. 323-358 BibTeX
Dov M. Gabbay: Classical vs non-classical logics (the universality of classical logic). 359-495 BibTeX