Computability, complexity, logic - Borger, E. (Egon), 1946- (Amsterdam : North-Holland Pub., 1989)
Translation of : Berechenbarkeit, Komplexitat, Logik
Translated from German into English
Bibliography : p. 529-573
Keywords: Computable functions; Computational complexity; Logic, Symbolic and mathematical