Kurs:Einführung in die mathematische Logik/Logik/Vollständigkeitssatz/Modellkonstruktion/Konsistente Terminterpretation/Fakt/Faktreferenznummer
Erscheinungsbild
Lemma 14.9 (Einführung in die mathematische Logik (Osnabrück 2021))
Lemma 14.9 (Einführung in die mathematische Logik (Osnabrück 2021))