Höhere Prädikatenlogik: Einführung in die Modelltheorie Kurzfassung e. einstündigen Vorlesung - Rödding, Dieter (Univ., 1969)