A Survey of Proof Theory
1968·ensayo
En este artículo, Kreisel ofrece un panorama y una discusión crítica sobre el estado y la evolución de la teoría de la prueba, una rama de la lógica matemática.
argentino
G. Kreisel fue un destacado escritor y poeta argentino, conocido por su estilo innovador y su contribución a la literatura contemporánea del país. Su obra ha sido reconocida por su exploración de temas existenciales y su singular uso del lenguaje.
1968·ensayo
En este artículo, Kreisel ofrece un panorama y una discusión crítica sobre el estado y la evolución de la teoría de la prueba, una rama de la lógica matemática.
Aparecen junto a G. Kreisel en búsquedas del archivo