Arithmetische und hyperarithmetische Prädikate
By: nach einer einstündigen Vorlesung von D. Rödding ; Ausarbeitung Klaus Mainzer.
Contributors: Mainzer, Klaus.; Universität Münster. Institut für Mathematische Logik und Grundlagenforschung.
Publisher: Westfälische Wilhelms-Universität Mn̈ster, Institut für mathematische Logik und Grundlagenforschung
Published: 1971
Place of publication: Münster, i. W
Language: ger
Subjects: Logic, Symbolic and mathematical.; Predicate calculus.