Literatur über mathematische Logik
Sehr interessante online-verfügbare Skrite über mathematische Logik finden Sie bei der Uni Münster. Dort werden Vorlesungsskripte mit folgenden Themen angeboten:
- Einführung in die klassische Prädikatenlogik
- Berechenbarkeitstheorie
- Mengenlehre
- Computability Theory of Hyperarithmetical Sets
- Handbuch der Informatik
- Infinitary Proof Theory