Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Italiano |
| Publicado: |
Milano :
Springer Milan : Imprint: Springer,
2011.
|
| Edición: | 1st ed. 2011. |
| Colección: | La Matematica per il 3+2,
50 |
| Temas: | |
| Acceso en línea: | Texto Completo |