Proof Theory. The first step into impredicativity
Pohlers. Wolfram
Book (monograph) | Peer reviewedDetails about the publication
Publisher: Springer VDI Verlag
Place of publication: Berlin Heidelberg
Title of series: Universitext
Status: Published
Release year: 2009
Language in which the publication is written: English
ISBN: 987-3-540-69318-5 978-3-540-69319-2
Authors from the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |