Recomienda este artículo a tus amigos:
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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de febrero de 2011 |
| ISBN13 | 9788847018839 |
| Editores | Springer Milan |
| Páginas | 126 |
| Dimensiones | 150 × 220 × 10 mm · 230 g |
| Lengua | Italian |
Mas por Daniele Mundici
Mostrar todoMere med samme udgiver
Ver todo de Daniele Mundici ( Ej. Paperback Book y Hardcover Book )