Bibliografia

Principal

• Fernando Ferreira (Em progresso) Apontamentos dados pelo professor

Secundária

• Stephen Simpson (2009) Foundations of Mathematics
• Herbert Enderton (2001) A Mathematical Introduction to Logic Academic Press