Gå direkte til innholdet
Logica: Metodo Breve
Spar

Logica: Metodo Breve

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.
Opplag
2011 ed.
ISBN
9788847018839
Språk
Italiensk
Vekt
310 gram
Utgivelsesdato
10.2.2011
Antall sider
126