Rödding, D. (Dieter)

ID:DA02234818

Alias Name: Rödding, Dieter

Search authors sharing the same name

Search Results1-3 of 3

1

Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

edited by E. Börger, G. Hasenjaeger, and D. Rödding

Springer-Verlag 1984 Lecture notes in computer science 171

: gw , : us

Available at 46 libraries
2

Arithmetische und hyperarithmetische Prädikate : nach einer einstündigen Vorlesung

von D. Rödding

Westfälische Wilhelms-Universität Münster, Institut für Mathematische Logik und Grundlagenforschung 1972

2

Available at 1 libraries
3

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

Available at 1 libraries

Search this author

Related Authors