Media type: Book Title: Computability, complexity, logic Work titles: Berechenbarkeit Börger, Egon: Berechenbarkeit Börger, Egon: Berechenbarkeit, Komplexität, Logik <engl.> Contributor: Börger, Egon [Author]; imprint: Amsterdam [u.a.]: North Holland, 1989 Published in: Studies in logic and the foundations of mathematics ; 12800 Extent: XX, 592 S; graph. Darst Language: English ISBN: 0444874062 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mathematische Logik Komplexitätstheorie Berechenbarkeit Mathematische Logik Komplexitätstheorie Berechenbarkeit Mathematische Logik > Berechenbarkeit > Prädikatenlogik Origination: Footnote: Aus dem Dt. übers