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 [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).