: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: Local: RSC MT Livro em ótimo estado de conservação. Sem marcas de uso. Referência por apresentar questões complexa... Veja mais
- EV Indica