Features the concepts & methods in automated deduction. This work focuses on basic research in deduction & on the knowledge on which modern deductive systems are based. It presents techniques of implementation & details about system building. It deals with applications of deductive techniques.