Logica: Metodo Breve
Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.
Product description
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.
Accessibility information
Select variation, to see accessibility information
Details
- ISBN13 9788847018846
- Released 2011
- Publisher Springer
- Format Elektronisk medie
- Language Italian