Computability by Logic
por George Boolos · 1974
Sinopsis
Este libro explora las bases lógicas de la computabilidad, presentando el cálculo de predicados y teoremas de incompletitud, y su relación con lo que puede ser computado.
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