I Prädikatenkalkül.- 1. Strukturen und Formeln.- 2. Semantik.- 3. Allgemeingültige Formeln.- 4. Der Gödelsche Vollständigkeitssatz.- 5. Der Sequenzenkalkül.- 6. Der Herbrandsche Satz und automatisches Beweisen.- II Mengenlehre.- 7. Die Axiome.- 8. Die natürlichen Zahlen.- 9. Ordinalzahlen und Kardinalzahlen.- 10. Metamathematik von ZFC.- III Rekursionstheorie.- 11. Registermaschinen.- 12. Primitiv rekursive Funktionen und Gödelisierung.- 13. Rekursiv aufzählbare Mengen.- 14. Gödelnummern von Formeln.- 15. Ein anderer Aufbau der rekursiven Funktionen.- IV Arithmetik.- 16. Definierbare Relationen.- 17. Das System Q.- 18. Peanoarithmetik.- 19. Der Zweite Gödelsche Unvollständigkeitssatz.- Literaturverzeichnis.- Index.
