Beschreibung

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.

Rezensionen ( 0 )
Noch keine Rezensionen vorhanden.
Sie können die Erörterung eröffnen.
Zitate (0)
Sie können als Erste ein Zitat veröffentlichen.
Top