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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.