> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Theory of recursive functions and effective computability Enthält: Literaturverz. S. 459 - 468 Beteiligte: Rogers, Hartley [VerfasserIn] Erschienen: Cambridge, Mass. [u.a.]: MIT Press, 1992 Ausgabe: 3. print. Umfang: XXI, 482 S.; graph. Darst Sprache: Englisch ISBN: 0262680521 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 130 : Allgemeines Schlagwörter: Rekursive Funktion Entstehung: Anmerkungen: