Metodi Logici 1. Teoria degli Insiemi, Logica del Primo Ordine, Tableaux Analitici, Calcolo dei Sequenti

Lo scopo di Metodi Logici 1 è fornire al lettore un’introduzione rigorosa ed esauriente ai concetti fondamentali della logica del primo ordine. Il volume presta particolare attenzione: i) ai metodi matematici dei sistemi di logica e alla dimostrazione analitica dei teoremi; ii) alla presentazione di numerosi esempi ed esercizi sul metodo dei tableaux analitici (standard e a blocchi nella notazione a sequenti) e sul calcolo dei sequenti; e iii) al contesto storico-epistemologico in cui è nata e si è sviluppata la logica matematica. Gli argomenti trattati sono stati scelti per la loro rilevanza a livello nazionale e internazionale, spaziando dalla teoria degli insiemi alle nozioni sintattiche e semantiche della logica proposizionale e predicativa, dalla teoria della dimostrazione e dei modelli del primo ordine, fino alla dimostrazione analitica dei loro principali metateoremi. Il libro si rivolge a studenti di matematica, filosofia, informatica e ingegneria.