Bibliografia

Principal

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

Secundária

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