Computability complexity, logic - Borger, E. (Egon), 1946-; Elder, John, 1949- (Amsterdam : North-Holland, 1989)
Translations of: Berechenbarkeit, Komplexitat, Logik
Bibliography: p. 529-573
Keywords: Computable functions; Computational complexity; Logic, Symbolic and mathematical