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.
| Informações técnicas | |
| Número de Páginas | 440 |
| Ano de Publicação | 06.05.2013 |
| Autor | George S. Boolos; John P. Burgess; Richard C. Jeffrey; Cezar A. Mortari; |
| ISBN | 9788539303663 |
| Comprimento (cm) | 2.2 |
| Largura (cm) | 16 |
| Altura (cm) | 23 |
Computabilidade e lógica
- Editora: UNESP
- Modelo: 508000107
- Disponibilidade: Em estoque
- R$96,00
-
R$76,80