Pastāsti draugiem par šo preci:
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2011. gada 10. februāris |
| ISBN13 | 9788847018839 |
| Izdevēji | Springer Milan |
| Lapas | 126 |
| Izmēri | 150 × 220 × 10 mm · 230 g |
| Valoda | Itāļu |