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

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