TY - BOOK AU - Borger,E. TI - Computability, complexity, logic SN - 0444874062 : U1 - 164 PY - 1989/// CY - Amsterdam PB - North-Holland Pub. KW - Computable functions KW - Computational complexity KW - Logic, Symbolic and mathematical N1 - Translation of : Berechenbarkeit, Komplexitat, Logik; Translated from German into English; Bibliography : p. 529-573 ER -