Computabilidade e lógica tornou-se um livro de referência em sua área por apresentar, de maneira acessível, questões 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, os teoremas de i de Gödel, mas também um amplo leque de tópicos adicionais, a teoria da de Turing e o teorema de Ramsey.
#Autor: Boolos, George S.; Burgess, John P.; Jeffrey, Richard C.; Mortari, Cezar A.
#Páginas: 440
#Encadernação: Brochura
#Ano: 2012