{"product_id":"9781848902626","title":"Logica e Estrutura","description":"\u003cp\u003eO livro-texto popular de Dirk van Dalen, \u003cem\u003eLógica e Estrutura\u003c\/em\u003e, 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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eA 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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eEm 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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eO ú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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eEsta nova edição foi devidamente revisada e contém uma nova seção sobre ultraprodutos.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":47047659618544,"sku":"9781848902626","price":18.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781848902626_p0.jpg?v=1763751577","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781848902626","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}