Programación y metateoría de los lenguajes
1930·filosofia
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.
francés
Jacques Herbrand fue un matemático francés conocido por sus contribuciones a la lógica matemática y la teoría de números. Es relevante por su trabajo en fundamentos matemáticos y su influencia en el desarrollo de la lógica moderna.
1930·filosofia
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.
Aparecen junto a Jacques Herbrand en búsquedas del archivo