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.
Logica: Metodo Breve
| Titolo | Logica: Metodo Breve |
| Autore | Mundici Daniele |
| Collana | Unitext |
| Editore | Springer Verlag |
| Formato |
Libro |
| Pagine | XI, 126 pagg. |
| Pubblicazione | 00/0000 |
| ISBN | 9788847018839 |
