Separating fragments of bounded arithmetic

Grunddaten zum Promotionsverfahren

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

Zeitraum: bis 17.01.1997

Status: abgeschlossen

Promovend*in: Beckmann, Arnold

Promotionsfach: Mathematik

Abschlussgrad: Dr. rer. nat.

Verleihender Fachbereich: Fachbereich 10 - Mathematik und Informatik

Betreuer*innen: Pohlers, Wolfram

Institut für Mathematische Logik und Grundlagenforschung