Lecture Notes
J. Diller. Einführung in die klassiche Prädikatenlogik
J. Diller. Berechenbarkeitstheorie Kapitel 1-3
J. Diller. Berechenbarkeitstheorie Kapitel 4
J. Diller. Berechenbarkeitstheorie Kapitel 5
W. Pohlers. Computability Theory of Hyperarithmetical Sets
W. Pohlers. Handbuch der Informatik
W. Pohlers. Infinitary Proof Theory
W. Pohlers, T. Glaß. An Introduction to Mathematical Logic