Gå direkt till innehållet
Logica: Metodo Breve
Spara

Logica: Metodo Breve

Författare:
Italienska
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.
Författare
Daniele Mundici
Upplaga
2011 ed.
ISBN
9788847018839
Språk
Italienska
Vikt
310 gram
Utgivningsdatum
2011-02-10
Sidor
126