Contents
Chapter 1. Algebra of Classes and Propositional Calculus
Chapter 2. The Theory of Relatives
2.2 Basic concepts of the theory of relatives
2.3 Basic postulates of the theory of relatives
2.4 Theory of relatives and model theory
2.5 First-order logic of relatives
Chapter 3. Changing the Order of Quantifiers
Chapter 4. The Löwenheim Normal Form
4.1 The Löwenheim normal form of an equation
4.2 Comments on Löwenheim's method
Chapter 5. Preliminaries to Löwenheim's Theorem
Chapter 6. Löwenheim's Theorem
6.2 An analysis of Löwenheim's proof
3.128.199.138