Logica: Metodo Breve

Paperback 2011 2011e druk 9788847018839
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

Specificaties

ISBN13:9788847018839
Bindwijze:paperback
Aantal pagina's:126
Uitgever:Springer Milan
Druk:2011
Serie:UNITEXT

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Logica: Metodo Breve