TY  - BOOK
AU  - Borger,E.
AU  - Elder,John
TI  - Computability complexity, logic
SN  - 0444874062
PY  - 1989///
CY  - Amsterdam
PB  - North-Holland
KW  - Computable functions
KW  - Computational complexity
KW  - Logic, Symbolic and mathematical
N1  - Translations of: Berechenbarkeit, Komplexitat, Logik; Bibliography: p. 529-573
ER  -