Proof Theory. The first step into impredicativity
Pohlers. Wolfram
Fachbuch (Monographie) | Peer reviewedDetails zur Publikation
Verlag: Springer VDI Verlag
Erscheinungsort: Berlin Heidelberg
Titel der Reihe: Universitext
Status: Veröffentlicht
Veröffentlichungsjahr: 2009
Sprache, in der die Publikation verfasst ist: Englisch
ISBN: 987-3-540-69318-5 978-3-540-69319-2
Autor*innen der Universität Münster
| Pohlers, Wolfram | Institut für Mathematische Logik und Grundlagenforschung |