> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Computability, complexity, logic Werktitel: Berechenbarkeit Börger, Egon: Berechenbarkeit Börger, Egon: Berechenbarkeit, Komplexität, Logik <engl.> Beteiligte: Börger, Egon [VerfasserIn]; Erschienen: Amsterdam [u.a.]: North Holland, 1989 Erschienen in: Studies in logic and the foundations of mathematics ; 12800 Umfang: XX, 592 S; graph. Darst Sprache: Englisch ISBN: 0444874062 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Mathematische Logik Komplexitätstheorie Berechenbarkeit Mathematische Logik Komplexitätstheorie Berechenbarkeit Mathematische Logik > Berechenbarkeit > Prädikatenlogik Entstehung: Anmerkungen: Aus dem Dt. übers Weitere Bestandsnachweise 0 : Studies in logic and the foundations of mathematics