Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "118200771"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/810689545 |
Art des Inhalts | Hochschulschrift |
Titel | Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. [Erster] Stufe und verwandte Kalküle |
Person(en) | Mellis, Werner (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1980 |
Umfang/Format | III, 135 S. ; 21 cm |
Hochschulschrift | Köln, Univ., Math.-Naturwiss. Fak., Diss., 1980 |
Sachgruppe(n) | 19a Mathematik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: H 81/1985
Bereitstellung in Frankfurt |
