Theorem-proving systems
CONTENTSIntroduction.................................................................................................................... 6Chapter I. Theorem-proving system§ 1. Theory...................................................................................................................... 7§ 2. Fundamental theory ................................................................................ 8§ 3. Theorem-proving system.......................................................................................