Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | Italiano |
| Published: |
Milano :
Springer Milan : Imprint: Springer,
2011.
|
| Edition: | 1st ed. 2011. |
| Series: | La Matematica per il 3+2,
50 |
| Subjects: | |
| Online Access: | Texto Completo |