Einführung in die mathematische Logik

Front Matter ....Pages i-ix
 Einleitung  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 1-8
 Syntax der Sprachen erster Stufe  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 9-25
 Semantik der Sprachen erster Stufe  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 27-60
 Ein Sequenzenkalkül  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 61-77
 Der Vollständigkeitssatz  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 79-90
 Der Satz von Löwenheim und Skolem und der Endlichkeitssatz  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 91-103
 Zur Tragweite der ersten Stufe  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 105-122
 Syntaktische Interpretationen und Normalformen  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 123-143
 Erweiterungen der Logik erster Stufe  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 145-158
 Berechenbarkeit und ihre Grenzen  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 159-224
 Freie Modelle und Logik-Programmierung  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 225-280
 Eine algebraische Charakterisierung der elementaren Äquivalenz  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 281-298
 Die Sätze von Lindström  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 299-316
 Lösungshinweise zu den Aufgaben  (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)....Pages 317-350
Back Matter ....Pages 351-367