1 Table of Contents: “...First-Order Logic -- Completeness -- First-Order Theories -- Primitive Recursive Arithmetic...”

2 Table of Contents: “.... Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7...”

3 Table of Contents: “.... Formal Predicate Logic (also called First-Order Logic) ∏ -- 6. Translations from English into ∏πφ= (also...”

4 Table of Contents: “... and Methodology of Empirical Sciences -- Standard Vs. Nonstandard Logic: Higher-Order, Modal, and First-Order...”

5 Table of Contents: “...-order Logic without bound variables: Compositional Semantics; Tait, William W -- On Gentzen’s Structural...”

6 Table of Contents: “... Logic Reasoning (Marcelo Finger) -- Chapter 13. Reconciling first-order logic to algebra (Walter...”

7 Table of Contents: “... Motivation -- 3.3 Arrow logic and relation algebras -- 3.4 Connection with first order logic -- 3.5...”

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

9 “... logic of intentional objects, M-logic. M-logic closely resembles classical first-order logic...”

10 “... discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate...”

11 “... called first-order logic was an ade­ quate theory of logical forms of natural language sentences...”

12 “.... It also introduces case-intensional first order logic (CIFOL), a general intensional logic offering...”

13 “... problems). On the other hand, well-known results from modal and first-order logic are formulated without...”