名古屋大学附属図書館




1

Reduktionstypen der Prädikatenlogik : nach einer einstündigen Vorlesung

von Dieter Rödding. -- Westfälische Wilhelms-Universität Münster, Institut für Mathematische Logik und Grundlagenforschung, 1970.