1 Table of Contents: “...1 Calculi for First Order Logic -- 1.1 Basic Concepts and General Remarks -- 1.2 Resolution -- 1.3...”

2 Table of Contents: “... and historical remarks -- III. The connection method in first-order logic -- 1. The language of first-order logic...”

3 Table of Contents: “... First Order Logic and Refutational Theorem Proving -- 1.3 Search Space Formalism -- 1.4 Measures...”

4 Table of Contents: “... -- First order logic as a tool to solve and classify problems -- On evaluating recursion -- Analogy...”