> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Induction rules, reflection principles, and provably recursive functions Beteiligte: Beklemishev, Lev D. Erschienen: Elsevier BV, 1997 Erschienen in: Annals of Pure and Applied Logic, 85 (1997) 3, Seite 193-242 Sprache: Englisch DOI: 10.1016/s0168-0072(96)00045-0 ISSN: 0168-0072 Schlagwörter: Logic Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang