Bibliografia
Principal
- Lógica e Raciocínio : João P. Martins 2014 College Publications / Série de Cadernos de Lógica e Computação
Secundária
- Mathematical Logic for Computer Science : M. Ben-Ari 2001 Springer-Verlag
- Logic in Computer Science: Modelling and Reasoning about Systems : M. Huth e M. Ryan 2004 Cambridge University Press