Elementos de Lógica Matemática y Teoría de la Computación
2007·divulgacion
Este texto ruso ofrece una introducción rigurosa a la lógica matemática y a los fundamentos de la teoría de la computación, abarcando la algoritmia, la computabilidad y la complejidad. Es una obra didáctica aunque profunda en su tratamiento.