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 tomorrow for delivery by Mon 5 Jan 2026.

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

15 in stock


    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

    © 2025 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