2011st edition
Paperback (10 Feb 2011) | Italian
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9788847018839 |
| Publisher: | Springer Milan |
| Imprint: | Springer |
| Pub date: | 10 Feb 2011 |
| Edition: | 2011st edition |
| Language: | Italian |
| Number of pages: | 126 |
| Weight: | 230g |
| Height: | 231mm |
| Width: | 155mm |
| Spine width: | 10mm |
$1.19off
Paperback
Published 31 May 2023
Save $1.19
$2.93off
Paperback
Published 28 Jul 2023
Save $2.93
