Bibliografia

Principal

• Apontamentos dados pelo professor: Fernando Ferreira Em progresso

Secundária

• Foundations of Mathematics: Stephen Simpson 2009
• A Mathematical Introduction to Logic: Herbert Enderton 2001