Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali
teoremi della logica matematica (compattezza completezza di Goedel Loewenheim-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.
