En la intersección de las matemáticas, la informática y la filosofía, la lógica matemática examina el poder y las limitaciones del pensamiento matemático formal. En esta expansión de la primera edició...En la intersección de las matemáticas, la informática y la filosofía, la lógica matemática examina el poder y las limitaciones del pensamiento matemático formal. En esta expansión de la primera edición fácil de usar de Leary, los lectores sin estudio previo en el campo son introducidos a los conceptos básicos de la teoría de modelos, la teoría de la prueba y la teoría de la computabilidad. El texto está diseñado para ser utilizado ya sea en un aula de pregrado de la división superior, o para el