Jump to main content

yr 〜
yr

Search results 4

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 : gw : us

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 : gw : us
Paper図書
edited by E. Börger, G. Hasenjaeger, and D. RöddingSpringer-Verlag1984
Other Libraries in Japan
  • Author HeadingSymposium "Rekursive Kombinatorik" Börger, Egon Hasenjaeger, G. (Gisbert) Rödding, D. (Dieter)

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. (Lecture notes in computer science)

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. (Lecture notes in computer science)
Paper図書
Springer-Verlag1984.<M15-A520>
National Diet Library
  • Author Heading...isbert), 1919- Rödding, D. (Dieter), 1937-

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

Arithmetische und hyperarithmetische Prädikate : nach einer einstündigen Vorlesung
Paper図書
von D. RöddingWestfälische Wilhelms-Universität Münster, Institut für Mathematische Logik und Grundlagenforschung1972
Other Libraries in Japan
  • Author HeadingRödding, D. (Dieter)

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

Reduktionstypen der Prädikatenlogik : nach einer einstündigen Vorlesung
Paper図書
von Dieter RöddingWestfälische Wilhelms-Universität Münster, Institut für Mathematische Logik und Grundlagenforschung1970
Other Libraries in Japan
  • Author HeadingRödding, D. (Dieter)

Reached to the end of result.

RSS