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