O livro-texto popular de Dirk van Dalen, L gica e Estrutura, agora em sua quinta edi o, oferece uma introdu o abrangente aos fundamentos da l gica cl ssica e da l gica intuicion stica, da teoria dos modelos e do famoso teorema da incompletude de G del.

A l gica proposicional e a l gica de predicados s o apresentadas num estilo f cil de ler usando a dedu o natural de Gentzen. O livro prossegue com alguns conceitos e fatos b sicos da teoria dos modelos: uma discuss o sobre compaccidade, Skolem-L wenheim, modelos n o-padr o e elimina o de quantificadores. A discuss o da l gica cl ssica encerrada com uma exposi o concisa da l gica de segunda ordem.

Em vista do crescente reconhecimento de m todos e princ pios construtivos, a l gica intuicion stica e a sem ntica de Kripke s o cuidadosamente exploradas. Uma s rie de caracter sticas construtivas espec ficas, como a separa o e a igualdade, a tradu o de G del, as propriedades da disjun o e da exist ncia tamb m foram inclu das.

O ltimo cap tulo sobre o primeiro teorema da incompletude de G del autocontido e fornece uma exposi o sistem tica da teoria da recurs o necess ria.

Esta nova edi o foi devidamente revisada e cont m uma nova se o sobre ultraprodutos.