Iterated inductive definitions revisited
Pohlers, Wolfram
Forschungsartikel (Buchbeitrag) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Jäger, Gerhard; Sieg, Wilfried
Buchtitel: Feferman on Foundations
Seitenbereich: 209-251
Verlag: Springer VDI Verlag
Titel der Reihe: Outstanding contributions to Logic
Status: Veröffentlicht
Veröffentlichungsjahr: 2017
Sprache, in der die Publikation verfasst ist: Englisch
ISBN: 978-3-319-63332-9
Autor*innen der Universität Münster
| Pohlers, Wolfram | Institut für Mathematische Logik und Grundlagenforschung |