> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Proof theory : the first step into impredicativity Beteiligte: Pohlers, Wolfram [Verfasser:in] Erschienen: Berlin, Heidelberg: Springer, 2009 Erschienen in: Universitext Umfang: XIII, 370 S.; graph. Darst; 235 mm x 155 mm Sprache: Englisch ISBN: 9783540693185 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12235032 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Beweistheorie Rekursionstheorie > Ordinalzahl Entstehung: Anmerkungen: Literaturverz. S. 357 - 361