Logica e Estrutura

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

O livro-texto popular de Dirk van Dalen, Logica e Estrutura, agora em sua quinta edicao, oferece uma introducao abrangente aos fundamentos da logica classica e da logica intuicionistica, da teoria dos modelos e do famoso teorema da incompletude de Goedel.

A logica proposicional e a logica de predicados sao apresentadas num estilo facil de ler usando a deducao natural de Gentzen. O livro prossegue com alguns conceitos e fatos basicos da teoria dos modelos: uma discussao sobre compaccidade, Skolem-Loewenheim, modelos nao-padrao e eliminacao de quantificadores. A discussao da logica classica e encerrada com uma exposicao concisa da logica de segunda ordem.

Em vista do crescente reconhecimento de metodos e principios construtivos, a logica intuicionistica e a semantica de Kripke sao cuidadosamente exploradas. Uma serie de caracteristicas construtivas especificas, como a separacao e a igualdade, a traducao de Goedel, as propriedades da disjuncao e da existencia tambem foram incluidas.

O ultimo capitulo sobre o primeiro teorema da incompletude de Goedel e autocontido e fornece uma exposicao sistematica da teoria da recursao necessaria.

Esta nova edicao foi devidamente revisada e contem uma nova secao sobre ultraprodutos.