دانلود کتاب Mathematische Logik

فهرست مطالب :

Front Matter....Pages I-X
Front Matter....Pages 1-1
Strukturen und Formeln....Pages 3-9
Semantik....Pages 11-16
Allgemeingültige Formeln....Pages 17-21
Der Gödelsche Vollständigkeitssatz....Pages 23-33
Der Sequenzenkalkül....Pages 35-41
Der Herbrandsche Satz....Pages 43-49
Die Resolutionsmethode....Pages 51-53
Front Matter....Pages 55-55
Die Axiome....Pages 57-66
Die natürlichen Zahlen....Pages 67-71
Ordinalzahlen und Kardinalzahlen....Pages 73-80
Metamathematik von ZFC....Pages 81-86
Front Matter....Pages 87-87
Registermaschinen....Pages 89-95
Primitiv rekursive Funktionen und Gödelisierung....Pages 97-103
Rekursiv aufzählbare Mengen....Pages 105-107
Gödelnummern von Formeln....Pages 109-111
Ein anderer Aufbau der rekursiven Funktionen....Pages 113-115
Front Matter....Pages 117-117
Definierbare Relationen....Pages 119-121
Das System Q....Pages 123-130
Peanoarithmetik....Pages 131-136
Der Zweite Gödelsche Unvollständigkeitssatz....Pages 137-143
Back Matter....Pages 145-152