Computabilidade e lógica

R$82,00

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.

2 em estoque

REF: Computabilidade e lógica Categorias: ,

Autor:
George S. Boolos, John P. Burgess, Richard C. Jeffrey

Número de páginas:
440

ISBN:
9788539303663

Editora:
Unesp

ID do produto: 36394

Informação adicional

Peso 0.560 kg