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.
- Editora: EDITORA UNESP
- Autores: AUTOR: BURGESS, JOHN P. | Traduzido por: MORTARI, CEZAR A. | AUTOR: BOOLOS, GEORGE S. | AUTOR: JEFFREY, RICHARD C.
- ISBN: 9788539303663
- Capa: Brochura
- Edição: 1ª EDIÇÃO - 2013
- Formato: 16.00 x 23.00 cm
- Páginas: 440
Produtos relacionados
Conteúdo
Sobre a loja
A Livraria da Tarde nasce do sonho de oferecer à cidade um espaço aconchegante, repleto de livros, com uma seleção especial de literatura geral, artes, ciências humanas e livros infanto-juvenis, no bairro de Pinheiros em São Paulo. Um espaço charmoso, onde o cheiro dos livros se mistura com o cheiro do café, salgados e doces deliciosos da Cafeteria Selo Verde. Entregamos para todo o Brasil por meio do nosso site www.livrariadatarde.com.br
Pague com
Selos
Livraria da Tarde - CNPJ: 34.999.877/0001-50 © Todos os direitos reservados. 2024
