Ruth Barcan Marcus
(Nueva York, 1921) Filósofa y lógica estadounidense. Ha extendido la lógica modal al cálculo de los predicados y ha sentado las bases de la lógica modal cuantificada.
(Nueva York, 1921) Filósofa y lógica estadounidense. Ha extendido la lógica modal al cálculo de los predicados y ha sentado las bases de la lógica modal cuantificada.