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) [Disponibile anche in italiano ed. Boringhieri]
2. A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)
3. Logic and Structure, D. van Dalen (Springer 1994)
ll seguente è un ottimo volume su Logica e Fondamenti con approfondimenti storici e concettuali:
Logical Foundations of Mathematics and Computational Complexity. A Gentle Introduction, P. Pudlàk (Springer 2013).