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

Secundária

Não foi definida bibliografia secundária