{"product_id":"logica-e-estrutura-9781848902626","title":"Logica E Estrutura","description":"\u003cp\u003e • Author(s): Dirk Van Dalen\u003cbr\u003e • Publisher: College Publications\u003cbr\u003e • Publisher Imprint: College Publications\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\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","brand":"College Publications","offers":[{"title":"Paperback","offer_id":45030440468631,"sku":"9781848902626","price":1773.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781848902626.webp?v=1767617239","url":"https:\/\/atlanticbooks.com\/products\/logica-e-estrutura-9781848902626","provider":"Atlantic Books","version":"1.0","type":"link"}