encuadernación: rústica.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.