Logica: Metodo Breve
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 fa...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | Italian |
| Published: |
Milano :
Springer Milan : Imprint: Springer,
2011.
|
| Series: | UNITEXT,
1 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
