Tell your friends about this item:
Logica: Metodo Breve - UNITEXT Daniele Mundici Italian, 2011 edition
Logica: Metodo Breve - UNITEXT
Daniele Mundici
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.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 10, 2011 |
| ISBN13 | 9788847018839 |
| Publishers | Springer Milan |
| Pages | 126 |
| Dimensions | 150 × 220 × 10 mm · 294 g |
| Language | Italian |
Christmas presents can be returned until 31 January