Jon Barwise

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.

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.

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'.

Este libro introduce un entorno interactivo y una filosofía para explorar los fundamentos conceptuales de la computación y la lógica, basándose en la máquina de Turing.

Una introducción interactiva a la lógica de primer orden, que utiliza software para enseñar los conceptos y habilidades de la deducción lógica, incluyendo la validez, la consecuencia y la consistencia.

Este libro utiliza un enfoque innovador, combinando texto y software interactivo (Turing's World y Tarski's World) para enseñar lógica de primer orden, un pilar fundamental para la algoritmia y la computación.

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.