Bibliografia

Principal

  • Elementos de Teoria da Computação: C. Caleiro, P. Gouveia e A. Sernadas 2006 Em preparação.
  • Elementos de Teoria da Computação.: C. Caleiro, P. Gouveia e A. Sernadas. 2007 Em preparação.

Secundária

  • Computability and Complexity from a Programming Perspective: N. D. Jones 1997 MIT
  • The Essence of Logic: J. Kelly 1997 Prentice Hall
  • Introduction to the Theory of Computation.: M. Sipser 1997 PWS Publishing Company
  • Introduction to the Theory of Computation. : M. Sipser. 1997 PWS Publishing Company.
  • The Essence of Logic. : J. Kelly. 1997 J. Kelly. The Essence of Logic. Prentice Hall.