Kurs:Einführung in die mathematische Logik/Vektorraum/Sortenprädikate/Beispiel/Beispielreferenznummer

Beispiel 8.8 (Einführung in die mathematische Logik (Osnabrück 2021))