Standardstrukturen für Systeme expliziter Mathematik

Grunddaten zum Promotionsverfahren

Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster

Zeitraum: bis 16.12.1993

Status: abgeschlossen

Promovend*in: Glaß, Thomas

Promotionsfach: Mathematik

Abschlussgrad: Dr. rer. nat.

Verleihender Fachbereich: Fachbereich 10 - Mathematik und Informatik

Betreuer*innen: Pohlers, Wolfram

Institut für Mathematische Logik und Grundlagenforschung