Logica E Estrutura

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 GOdel. 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-LOwenheim, 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 GOdel, as propriedades da disjunCAo e da existEncia tambEm foram incluIdas. O Ultimo capItulo sobre o primeiro teorema da incompletude de GOdel 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.

• | Author: Dirk Van Dalen, Ruy Jgb De Queiroz
• | Publisher: College Publications
• | Publication Date: Nov 15, 2017
• | Number of Pages: 274 pages
• | Language: Portuguese
• | Binding: Paperback
• | ISBN-10: 184890262X
• | ISBN-13: 9781848902626