An Outline of Set Theory
1971
Este libro presenta una introducción accesible a la teoría de conjuntos, explorando sus fundamentos y aplicaciones en matemáticas y lógica, a través de ejemplos y explicaciones claras.
estadounidense
Jon Barwise fue un destacado filósofo y lógico estadounidense, conocido por sus contribuciones a la lógica matemáticas y la filosofía de la ciencia. Su trabajo en la teoría de los modelos y la semántica ha tenido un impacto significativo en el desarrollo del pensamiento contemporáneo en estas áreas.
1971
Este libro presenta una introducción accesible a la teoría de conjuntos, explorando sus fundamentos y aplicaciones en matemáticas y lógica, a través de ejemplos y explicaciones claras.
1992
Este libro explora las relaciones entre la lógica y la metafísica, abordando cómo la estructura del mundo puede ser representada de manera lógica y analítica, con un enfoque particular en la teoría de espacios de modelos.
1993·no ficcion
Un libro de texto interactivo que introduce la lógica de primer orden a través de un programa de software que permite a los estudiantes construir y evaluar modelos del 'Mundo de Tarski'.
1993·no ficcion
Un libro de texto introductorio de lógica formal que utiliza un enfoque basado en 'mundos' interactivos y representaciones visuales para enseñar los conceptos lógicos.
Aparecen junto a Jon Barwise en búsquedas del archivo