1 Subjects: “...First-order logic...”

2 Subjects: “...First-order logic...”

3 Table of Contents: “... algebras -- Propositional logic -- Valuations -- Filters and ideals -- First-order logic -- Completeness...”

4 Table of Contents: “...Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic...”

5 Table of Contents: “...3. First-order logic. 3.1 First-order logic and its implementation ; 3.2 Parsing and printing ; 3.3...”

6 “... courses (for students who are familiar with first-order logic), and as a reference for more experienced...”

7 “...-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second...”

8 “... for his hallmark works on the completeness of first-order logic, the incompleteness of number theory...”

9 “.... Readers will learn how to phrase their desired results in first-order logic, using free software...”

10 “... hundred axioms of first-order logic organized into twenty-nine commonsense psychology theories and sixteen...”

11 Table of Contents: “...Chapter 7 A first-order logic and theory of truth -- 7.1. The logic -- 7.1.1. What kind of first...”

12 “... substructures of any given finite size. They are precisely those structures which are determined by first-order...”