Zwei Normalisierungstheoreme für die Peano-Arithmetik: 1. Stufe u. verwandte Kalküle
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Mellis, Werner (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: 1980
Schlagworte:
Beschreibung:Köln, Univ., Diss.
Beschreibung:III, 135 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!