Media type: E-Book Title: Computability, complexity, logic Other titles: Berechenbarkeit, Komplexität, Logik. <engl.> Contributor: Börger, Egon [Author]; Corporation: ScienceDirect (Online service) imprint: Amsterdam; New York: North-Holland, 1989 New York, N.Y., U.S.A: Distributors for the U.S.A. and Canada, 1989 Online-Ausg.] Published in: Studies in logic and the foundations of mathematics ; 128 Extent: Online-Ressource; xx, 592 p; ill; 23 cm Language: English; German ISBN: 0444874062; 9780444874061 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mathematische Logik > Berechenbarkeit > Prädikatenlogik Reproductino series: Elsevier e-book collection on ScienceDirect Type of reproduction: Online-Ausg.] Origination: Footnote: Includes index Translation of: Berechenbarkeit, Komplexität, Logik