Computability and Logic
por George Boolos, Richard Jeffrey, John Burgess · 1974
Sinopsis
Un libro de texto que aborda la lógica de primer orden y la computabilidad, cubriendo temas como la incompletitud de Gödel y la teoría de la recursión, con un enfoque riguroso y didáctico.
Sé el primero en valorar este libro.
Más de George Boolos
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda