Description

Book Synopsis

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.

Logica e Estrutura

    Product form

    A Paperback by Dirk van Dalen, Ruy Jgb de Queiroz

    £13.25

    Includes FREE delivery

    Order before 4pm on Monday for delivery by Wed 18 Nov 2026.

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Logica e Estrutura by Dirk van Dalen

      Book details

      Publisher College Publications
      Published 15 November 2017
      ISBN-13 9781848902626
      978-1848902626
      ISBN-10 184890262X
      Also in:
      Mathematical logic

      Description

      Book Synopsis

      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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account