From subsystems of Analysis to subsystems of set theory
Pohlers, Wolfram
Research article (book contribution) | Peer reviewedDetails about the publication
Editors: Kahle, Reinhard; Stram, Thomas; Studer, Thomas
Book title: Advances in proof theory,
Publisher: Birkhäuser Verlag
Place of publication: Cham
Title of series: Progress in Computer Science and Applied Logic (ISSN: 2297-0576)
Volume of series: 28
Status: Published
Release year: 2016
Language in which the publication is written: English
ISBN: 978-3-319-29196-3
Authors from the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |