Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publikationen
Projekte
Vorträge
Preisverleihungen
Promotionen
Habilitationen
Personen
Einrichtungen
DE
|
EN
Semi-formal calculi and their applications
Pohlers, Wolfram
Forschungsartikel (Buchbeitrag)
| Peer reviewed
Details 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