Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Literatur


Ebbinghaus, Heinz-Dieter, Flum, Jörg und Thomas, Wolfgang: Einführung in die mathematische Logik, Wissenschaftliche Buchgesellschaft Darmstadt, 1986.

Manin, Juri: A Course in Mathematical Logic, Springer, 1977.

Smullyan, Raymond: Gödel's Incompleteness Theorems, Oxford University Press, 1992.