Part of a multivolume work covering the application of logic to artificial intelligence and logic programming. Review of the first three volumes: `... a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and non-classical logics.' `... can be unreservedly recommended to AI practitioners with proficiency in logic and commitment to its role in the development of AI systems.' The Computer Journal