Kurs:Einführung in die mathematische Logik/Arithmetische Satzmenge/Repräsentierungen/Fixpunktsatz/Fakt/Faktreferenznummer
Erscheinungsbild
Satz 22.8 (Einführung in die mathematische Logik (Osnabrück 2021))
Satz 22.8 (Einführung in die mathematische Logik (Osnabrück 2021))