Bibliografia

Principal

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

Secundária

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