From subsystems of Analysis to subsystems of set theory
Pohlers, Wolfram
Forschungsartikel (Buchbeitrag) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Kahle, Reinhard; Stram, Thomas; Studer, Thomas
Buchtitel: Advances in proof theory,
Verlag: Birkhäuser Verlag
Erscheinungsort: Cham
Titel der Reihe: Progress in Computer Science and Applied Logic (ISSN: 2297-0576)
Nr. in Reihe: 28
Status: Veröffentlicht
Veröffentlichungsjahr: 2016
Sprache, in der die Publikation verfasst ist: Englisch
ISBN: 978-3-319-29196-3
Autor*innen der Universität Münster
| Pohlers, Wolfram | Institut für Mathematische Logik und Grundlagenforschung |