Computabilidade e lógica tornou-se um livro de referência em sua área por apresentar, de maneira acessível, questões complexas do estudo de lógica. Seus capítulos cobrem não apenas os tópicos básicos de um curso intermediário sobre o assunto, como os teoremas de incompletude de Gödel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.
- Autores: AUTOR: BURGESS, JOHN P. | TRADUZIDO POR: MORTARI, CEZAR A. | AUTOR: BOOLOS, GEORGE S. | AUTOR: JEFFREY, RICHARD C.
- Editora: EDITORA UNESP
- ISBN: 9788539303663
- Páginas: 440