E-Books durchsuchen
Mathematical Logic [1994]
- 3
-
Introduction
- 11
-
Syntax of First-Order Languages
- 27
-
Semantics of First-Order Languages
- 59
-
A Sequent Calculus
- 75
-
The Completeness Theorem
- 87
-
The Löwenheim-Skolem Theorem and the Compactness Theorem
- 99
-
The Scope of First-Order Logic
- 115
-
Syntactic Interpretations and Normal Forms
- 137
-
Extensions of First-Order Logic
- 151
-
Limitations of the Formal Method
- 189
-
Free Models and Logic Programming
- 243
-
An Algebraic Characterization of Elementary Equivalence
- 261
-
Lindström’s Theorems