Häftad, Italienska, 2011
Logica: Metodo Breve
312 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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
- Utgivningsdatum: 2011-02-10
- Mått: 155 x 235 x 9 mm
- Vikt: 230 g
- Format: Häftad
- Språk: Italienska
- Serie: UNITEXT
- Antal sidor: 126
- Förlag: Springer Verlag
- ISBN: 9788847018839
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.