![Paperback Logica e Estrutura [Portuguese] Book](https://i.thriftbooks.com/api/imagehandler/m/C1737BB5882398C93B63DB047F36CC038D242256.jpeg)
Logica e Estrutura [Portuguese]
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.
Customer Reviews
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
