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
Feedback