Una introducción exhaustiva a la lógica matemática y la teoría de tipos, cubriendo desde la lógica proposicional y de predicados hasta la teoría de modelos.
estadounidense
Peter B. Andrews es un autor y académico conocido por sus contribuciones en el campo de la literatura y la teoría de la comunicación. Su trabajo ha influido en el desarrollo de la escritura creativa contemporánea.
Una introducción exhaustiva a la lógica matemática y la teoría de tipos, cubriendo desde la lógica proposicional y de predicados hasta la teoría de modelos.
Aparecen junto a Peter B. Andrews en búsquedas del archivo