Börger, E. 1946-

Computability, complexity, logic / E. boger - 592 páginas - Studies in logic and the foundations of mathematics ; v. 128 .


Funciones computables
Complejidad computacional
Lógica simbólica y matemática

QA9.59 / B5913