Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Italiano |
| Publié: |
Milano :
Springer Milan : Imprint: Springer,
2011.
|
| Édition: | 1st ed. 2011. |
| Collection: | La Matematica per il 3+2,
50 |
| Sujets: | |
| Accès en ligne: | Texto Completo |