:quality(100))
imagem ilustrativa
Computabilidade e lógica
George S. Boolos, John P. Burgess e Richard C. Jeffrey
Salvar edição
Compartilhar
- Editora: Editora Unesp
- Ano: 2013
- ISBN: 9788539303663
- 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
Descrição: Este livro oferece um excelente quadro dos resultados teóricos fundamentais sobre lógica.23 cm. brochura. novo.435 ... Veja mais