Mundici, Daniele.
Logica: Metodo Breve [electronic resource] / by Daniele Mundici. - XI, 126 pagg. online resource. - UNITEXT, 1 2038-5714 ; . - UNITEXT, 1 .
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.
9788847018846
10.1007/978-88-470-1884-6 doi
Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Semantics.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Semantics.
QA8.9-10.3
511.3
Logica: Metodo Breve [electronic resource] / by Daniele Mundici. - XI, 126 pagg. online resource. - UNITEXT, 1 2038-5714 ; . - UNITEXT, 1 .
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.
9788847018846
10.1007/978-88-470-1884-6 doi
Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Semantics.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Semantics.
QA8.9-10.3
511.3