O menor preço encontrado no Brasil para Lógica de Primeira Ordem - Smullyan, Raymond M. - 9788571395206 atualmente é R$ 44,82.
Avaliação dos usuários
4.3
18 avaliações
Exibimos as avaliações mais relevantes da Amazon
Ok
Recomendo
A Didática não é nada boa, como a maioria dos livros de Lógica na gringa. Por isso, recomendo que só peguem esse livro quando estiverem com uma boa base de lógica, principalmente tablôs, completude e como funciona um axioma e uma demonstração. Isso é possível encontrar em outros livros, mesmo os já traduzidos para português. Mas tirando essa primeira barreira, o livro é muito bom e agrega bastante.
Cliente
• Via Amazon
Texto horrível.
Não Recomendo
Muito resumido e pouco explicativo,não recomendo a ninguém.
José
• Via Amazon
Muito bom... mas não é pra qualquer um.
Recomendo
O livro é excelente para o que se propõe: I) Apresenta com rigor o método de tableaux semânticos (primeira parte); II) Introduz a Lógica de Primeira Ordem - também conhecido como "Cálculo Proposicional Clássico com Quantificação" (segunda parte); e III) Aborda outros temas afins à Lógica de Primeira Ordem como os sistema de Gentzen, teoremas da eliminação, tableaux prenex, e outros temas pertinenetes. Contudo, não me parece um livro adequado para o primeiro contato com a lógica e sua didática não é lá das melhores... para quem está começando este, com certeza, não é o livro mais indicado.