Logica: Metodo Breve
Daniele Mundici
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.
Năm:
2011
Nhà xuát bản:
Springer Science & Business Media
Ngôn ngữ:
italian
ISBN:
TYIMQIGL1XIC
File:
EPUB, 117 KB
IPFS:
,
italian, 2011