@article{RTI,
  author  = {Michael Nedzelsky},
  title   = {Recursion Theory {I}},
  journal = {Archive of Formal Proofs},
  month   = apr,
  year    = 2008,
  note    = {\url{http://isa-afp.org/entries/Recursion-Theory-I.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{R36,
  author  = {J. Barkley Rosser},
  title   = {Extensions of some theorems of Gödel and Church},
  journal = {Journal of Symbolic Logic},
  volume  = {1},
  pages   = {87--91},
  year    = 1936,
}

@book{K52,
  author  = {Steven C. Kleene},
  title   = {Introduction to metamathematics},
  publisher = {North-Holland},
  year    = 1952,
}

@article{R58,
  author  = {Raymond M. Smullyan},
  title   = {Undecidability and recursive inseparability},
  journal = {Mathematical Logic Quarterly},
  volume  = {4},
  number  = {7-11},
  pages   = {143-147},
  year    = 1958,
}
