Provably recursive functions of reflection
Pohlers, Wolfram; Stegert, Jan-Carl
Research article (book contribution) | Peer reviewedDetails about the publication
Editors: Berger, Ulrich; Diener, Hannes; Schuster, Peter; Seisenberger, Monika
Book title: Logic, construction, computation
Publisher: Ontos Verlag
Place of publication: Heusenstamm
Title of series: Ontos Mathematical Logic
Volume of series: 3
Status: Published
Release year: 2012
Language in which the publication is written: English
ISBN: 978-3-86838-158-0
Authors from the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |