Hilbert's programme and ordinal analysis
Pohlers, Wolfram
Research article (book contribution) | Peer reviewedDetails about the publication
Editors: Probst, Dieter; Schuster, Peter
Book title: Concepts of proof in mathematics, philosophy, and computer science
Publisher: De Gruyter
Place of publication: Berlin
Title of series: Ontos Mathematical Logic (ISSN: 2198-2341)
Volume of series: 6
Status: Published
Release year: 2016
Language in which the publication is written: English
ISBN: 978-2-5015-1080-9
Authors from the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |