Bibliografia
Principal
- 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
- Lógica para Programação: J. P. Martins 2008 em preparação