
LÓGICA MATEMÁTICA
Descripción:
En el presente libro se expone de modo sistemático una serie de apartados de la lógica matemática moderna y de la teoría de los algoritmos. El libro puede usarse como manual de lógica matemática en las universidades y también como material didáctico en la lectura de cursos especializados.