Logica: Metodo Breve [electronic resource] / by Daniele Mundici.
By: Mundici, Daniele [author.].
Contributor(s): SpringerLink (Online service).
Material type:
BookSeries: UNITEXT: 1Publisher: Milano : Springer Milan : Imprint: Springer, 2011Description: XI, 126 pagg. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9788847018846.Subject(s): Mathematics | Computer science | Logic, Symbolic and mathematical | Semantics | Mathematics | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages | SemanticsDDC classification: 511.3 Online resources: Click here to access online
In:
Springer eBooksSummary: 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.
No physical items for this record
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.
There are no comments for this item.