Programación y metateoría de los lenguajes
por Jacques Herbrand · 1930
Ver sugerenciasSinopsis
Una obra fundamental en lógica matemática que explora la teoría de la demostración y la metamatemática, sentando las bases para la comprensión de los lenguajes formales y la computabilidad.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.