DS

Dana Scott

estadounidense

Dana Scott es un destacado matemático y logician estadounidense, conocido por sus contribuciones a la teoría de la computación y la lógica matemática. Es reconocido por su trabajo en el desarrollo de modelos semánticos y en la teoría de sistemas de programación.

Obras en el archivo

1 título

Una colección de trabajos de un simposio sobre teoría de conjuntos axiomática, presentando investigaciones avanzadas y nuevas perspectivas sobre los fundamentos, los grandes cardinales y los modelos de la teoría de conjuntos.

Autores relacionados

Aparecen junto a Dana Scott en búsquedas del archivo