Semi-formal calculi and their applications
Pohlers, Wolfram
Research article (book contribution) | Peer reviewedDetails about the publication
Editors: Kahle, Reinhard; Rathjen, Michael
Book title: Gentzen's centenary
Publisher: Springer VDI Verlag
Place of publication: Cham,
Status: Published
Release year: 2015
Language in which the publication is written: English
ISBN: 978-3-319-10102-6
Authors from the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |