Semi-formal calculi and their applications
Pohlers, Wolfram
Forschungsartikel (Buchbeitrag) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Kahle, Reinhard; Rathjen, Michael
Buchtitel: Gentzen's centenary
Verlag: Springer VDI Verlag
Erscheinungsort: Cham,
Status: Veröffentlicht
Veröffentlichungsjahr: 2015
Sprache, in der die Publikation verfasst ist: Englisch
ISBN: 978-3-319-10102-6
Autor*innen der Universität Münster
| Pohlers, Wolfram | Institut für Mathematische Logik und Grundlagenforschung |