TY  - BOOK
AU  - Börger, E
TI  - Computability, complexity, logic
SN  - 0-444-87406-2
AV  - QA 9.59 B6713.1989
PY  - 1989///
CY  - Amsterdam
PB  - North-Holland
KW  - Computación
KW  - Funciones
KW  - Complejidad computacional
KW  - Lógica simbólica y matemática
N1  - Incluye índice; acc. 173730; ft, lrm; Bibliografía: p. 528-573
ER  -