Bibliografia

Le dispense del corso contengono tutto il materiale necessario. Qui sotto elenco alcuni manuali di riferimento che possono essere consultati con profitto: 

1. Introduction to Mathematical Logic, Elliot Mendelson (https://www.karlin.mff.cuni.cz/~krajicek/mendelson.pdf)

2. A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)

3. Logic and Structure, D. van Dalen (Springer 1994)

In italiano è disponibile il testo di Mendelson (ed. Bollati Boringhieri) e il recente manuale Logica, vol. 1, V. M. Abrusci, L. Tortora De Falco (Springer 2014)

Il seguente è un ottimo volume su Logica e Fondamenti con approfondimenti storici e concettuali:

• Logical Foundations of Mathematics and Computational Complexity. A Gentle Introduction, P. Pudlak (Springer 2013).