- Taliansky jazyk
Logica: Metodo Breve
Autor: 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... Viac o knihe
Na objednávku
27.71 €
bežná cena: 30.79 €
O knihe
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.
- Vydavateľstvo: Springer Milan
- Rok vydania: 2011
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Taliansky jazyk
- ISBN: 9788847018839