Zum Inhalt springen

Kurs:Einführung in die mathematische Logik/Isomorphielemma/Elementare Äquivalenz/Fakt/Faktreferenznummer