Conte aos seus amigos sobre este 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.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 10 de fevereiro de 2011 |
| ISBN13 | 9788847018839 |
| Editoras | Springer Milan |
| Páginas | 126 |
| Dimensões | 150 × 220 × 10 mm · 294 g |
| Idioma | Italian |
Presentes de Natal podem ser trocados até 31 de janeiro