Description

Book Synopsis
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.

Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello.

Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze.

Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale.



Table of Contents
​1 Introduzione.- 2 Alcune nozioni preliminari.- 3 Dimostrabilità e soddisfacibilità.- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK.- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.

Logica: Volume 1 - Dimostrazioni e modelli al

    Product form

    £18.99

    Includes FREE delivery

    RRP £19.99 – you save £1.00 (5%)

    Order before 4pm today for delivery by Fri 3 Jul 2026.

    A Paperback / softback by Vito Michele Abrusci, Lorenzo Tortora de Falco

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

      View other formats and editions of Logica: Volume 1 - Dimostrazioni e modelli al by Vito Michele Abrusci

      Publisher: Springer Verlag
      Publication Date: 24/10/2014
      ISBN13: 9788847055377, 978-8847055377
      ISBN10: 8847055377
      Also in:
      Computer programming / software engineering Mathematical logic Philosophy: logic

      Description

      Book Synopsis
      Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.

      Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello.

      Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze.

      Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale.



      Table of Contents
      ​1 Introduzione.- 2 Alcune nozioni preliminari.- 3 Dimostrabilità e soddisfacibilità.- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK.- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.

      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