@article{Incompleteness,
  author  = {Lawrence C. Paulson},
  title   = {Gödel's Incompleteness Theorems},
  journal = {Archive of Formal Proofs},
  month   = nov,
  year    = 2013,
  note    = {\url{http://isa-afp.org/entries/Incompleteness.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{Fitch,
 author = {Frederic B. Fitch},
 journal = {American Philosophical Quarterly},
 number = {2},
 pages = {161-164},
 publisher = {North American Philosophical Publications},
 title = {A Goedelized Formulation of the Prediction Paradox},
 volume = {1},
 year = {1964},
 ISSN = {00030481},
 URL = {http://www.jstor.org/stable/20009132},
}
