TY  - BOOK
AU  - Börger,E.
AU  - Börger,E.
TI  - Computability, complexity, logic
T2  - Studies in logic and the foundations of mathematics
AV  - QA9.59 B5913
PY  - 1989///
CY  - Amsterdam
PB  - North-holland
KW  - Funciones computables
KW  - Complejidad computacional
KW  - Lógica simbólica y matemática
ER  -