Borger, E. 1946- Computability complexity, logic / E. Borger - Amsterdam : North-Holland, 1989 - 592 p. : ill. ; 24cm. - Studies in logic and the foundations of mathematics ; 128 . Translations of: Berechenbarkeit, Komplexitat, Logik Bibliography: p. 529-573 ISBN: 0444874062 LCCN: 87-011521 Subjects--Topical Terms: Computable functionsComputational complexityLogic, Symbolic and mathematical