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.

SKU	217600
Autor	BOOLOS; BURGESS; JEFFREY
Editora	UNESP EDITORA
ISBN	9788539303663
EAN	9788539303663
Categoria	Ciências Exatas
Assunto	Matemática
Páginas	435
Número da Edição
Ano da Edição	2012
Encadernação	brochura