Precisa de ajuda?

+ 55 11 5420-1808
[email protected]

Livro Impresso

Computabilidade e lógica



Matemática, Ciências Exatas


Sinopse

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.

Metadado adicionado por Editora UNESP em 06/09/2019

Encontrou alguma informação errada?

ISBN relacionados

--


Metadados adicionados: 06/09/2019
Última alteração: 01/08/2025
Última alteração de preço: 01/08/2025

Autores e Biografia

Boolos, John P. Burgess George S. (Autor) , Mortari, Cezar A. (Tradutor)

Para acessar as informações desta seção, Faça o login.