Provably recursive functions of reflection

Pohlers, Wolfram; Stegert, Jan-Carl

Forschungsartikel (Buchbeitrag) | Peer reviewed

Details zur Publikation

Herausgeber*innen: Berger, Ulrich; Diener, Hannes; Schuster, Peter; Seisenberger, Monika

Buchtitel: Logic, construction, computation

Verlag: Ontos Verlag

Erscheinungsort: Heusenstamm

Titel der Reihe: Ontos Mathematical Logic

Nr. in Reihe: 3

Status: Veröffentlicht

Veröffentlichungsjahr: 2012

Sprache, in der die Publikation verfasst ist: Englisch

ISBN: 978-3-86838-158-0

Institut für Mathematische Logik und Grundlagenforschung