Handbook of logic in artificial intelligence and logic programming - Gabbay, Dov M. (Clarendon, 1993)
Includes index.