
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.
Page Count:
126
Publication Date:
2011-05-01
ISBN-10:
8847018846
ISBN-13:
9788847018846
No comments yet. Be the first to share your thoughts!