Iterated inductive definitions revisited
Pohlers, Wolfram
Research article (book contribution) | Peer reviewedDetails about the publication
Editors: Jäger, Gerhard; Sieg, Wilfried
Book title: Feferman on Foundations
Page range: 209-251
Publisher: Springer VDI Verlag
Title of series: Outstanding contributions to Logic
Status: Published
Release year: 2017
Language in which the publication is written: English
ISBN: 978-3-319-63332-9
Authors from the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |