Si riporta qui sotto un elenco di testi utili allo studio autonomo di alcuni argomenti trattati nel corso. Si tratta di una piccola bibliografia a beneficio di chi desideri avere un primo orientamento nella manualistica sulla logica matematica, limitatamente o agli aspetti elementari più generali, oppure ad aspetti più avanzati trattati nel corso. Lo studio sistematico di questi testi non è necessario per seguire con profitto il corso. Una bibliografia più ricca è consultabile in questa pagina dell'Associazione Italiana di Logica.
- Livello elementare.
- I. Chiswell e W. Hodges, Mathematical logic, Oxford Texts in Logic, vol. 3. Oxford University Press, Oxford, 2007.
- D. Mundici, Logica: Metodo Breve, Springer UNITEXT, vol. 50. Springer-Verlag, Milano, 2011.
- Yu. Manin, A course in mathematical logic for mathematicians, Graduate Texts in Mathematics, vol. 53. Springer, New York, 2010. Seconda edizione.
- J. Barwise (a cura di), H.J. Keisler, K. Kunen, Y.N. Moschovakis e A.S. Troelstra (con la collaborazione di), Handbook of mathematical logic, Studies in Logic and the Foundations of Mathematics, Vol. 90. North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977.
- Livello intermedio.
- C. Bergman, Universal algebra. Fundamentals and selected topics., Pure and Applied Mathematics (Boca Raton), vol. 301. CRC Press, Boca Raton, FL, 2012.
- S. Burris e H. P. Sankappanavar, A course in universal algebra., Graduate Texts in Mathematics, vol. 78. Springer-Verlag, New York-Berlin, 1981.
- Livello più avanzato.
- R. N. McKenzie, G. McNulty e W. Taylor, Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks/Cole Mathematics Series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987.
- Livello intermedio.
- P. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, vol. 1. Van Nostrand, Princeton, NJ, 2012.
- Livello più avanzato.
- P. T. Johnstone, Stone spaces, Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge, 1982.
- Livello intermedio.
- C. C. Chang e H. J. Keisler, Model theory, Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990.
- Livello più avanzato.
- W. Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42. Cambridge University Press, Cambridge, 1993.
- Rassegne.
- A. Marcja e C. Toffalori, A guide to classical and modern model theory, Trends in Logic—Studia Logica Library, vol. 19. Kluwer Academic Publishers, Dordrecht, 2003.