Logica: Metodo Breve
Häftad, Italienska, 2011
409 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2011-02-10
- Mått155 x 235 x 9 mm
- Vikt230 g
- FormatHäftad
- SpråkItalienska
- SerieUNITEXT
- Antal sidor126
- FörlagSpringer Verlag
- ISBN9788847018839