Bibliografia

Principal

• M. J. Edmundo (2024) Lógica Matemática

Secundária

• Herbert B. Enderton (2001) A Mathematical Introduction to Logic Harcourt Academic Press
• Lou van den Dries (2016) Mathematical Logic