Referências

  • [1] E. Mendelson, Introduction to mathematical logic, Chapman & Hall, London, 1997, x+440 pgs.