@article(CFM74,
 author       = "J. Corcoran and W. Frank and M. Maloney",
 year         = "1974",
 title        = "String Theory",
 journal      = "J. Symb. Log.",
 volume       = "39",
 number       = "4",
 pages        = "625--637",
 doi          = "10.2307/2272846",
)
@article(God31,
 author       = "K. G\"odel",
 year         = "1931",
 title        = "\"Uber formal unentscheidbare S\"atze der Principia Mathematica und verwandter Systeme I",
 journal      = "Monatsh. Math. Phys.",
 volume       = "38",
 number       = "1",
 pages        = "173--198",
 doi          = "10.1007/BF01700692",
 note         = "In German.",
)
@book(Hof79,
 author       = "D.R. Hofstadter",
 year         = "1979",
 title        = "G\"odel, Escher, Bach: An Eternal Golden Braid",
 publisher    = "Basic Books",
)
@book(HoU79,
 author       = "J.E. Hopcroft and J.D. Ullman",
 year         = "1979",
 title        = "Introduction to Automata Theory, Languages and Computation",
 publisher    = "Addison-Wesley",
)
@book(Jon97,
 author       = "N.D. Jones",
 year         = "1997",
 title        = "Computability and Complexity -- From a Programming Perspective",
 series       = "Foundations of computing series",
 publisher    = "MIT Press",
)
@article(Kle43,
 author       = "S.C. Kleene",
 year         = "1943",
 title        = "Recursive Predicates and Quantifiers",
 journal      = "Trans. Amer. Math. Soc.",
 volume       = "53",
 number       = "1",
 pages        = "41--73",
 doi          = "10.1090/S0002-9947-1943-0007371-8",
)
@book(Koz97,
 author       = "D. Kozen",
 year         = "1997",
 title        = "Automata and Computability",
 series       = "Undergraduate texts in computer science",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4612-1844-9",
)
@book(Pap94,
 author       = "C.H. Papadimitriou",
 year         = "1994",
 title        = "Computational Complexity",
 publisher    = "Addison-Wesley",
)
@article(Qui46,
 author       = "W.V. Quine",
 year         = "1946",
 title        = "Concatenation as a Basis for Arithmetic",
 journal      = "J. Symb. Log.",
 volume       = "11",
 number       = "4",
 pages        = "105--114",
 doi          = "10.2307/2268308",
 url          = "http://projecteuclid.org/euclid.jsl/1183395170",
)
@inproceedings(Rob50,
 author       = "R.M. Robinson",
 year         = "1950",
 title        = "An Essentially Undecidable Axiom System",
 booktitle    = "Proceedings of the International Congress of Mathematics 1950",
 pages        = "729--730",
)
@article(Ros36,
 author       = "J.B. Rosser",
 year         = "1936",
 title        = "Extensions of Some Theorems of G\"odel and Church",
 journal      = "J. Symb. Log.",
 volume       = "1",
 number       = "3",
 pages        = "87--91",
 doi          = "10.2307/2269028",
 url          = "http://projecteuclid.org/euclid.jsl/1183142131",
)
@book(TMR53,
 author       = "A. Tarski and A. Mostowski and R.M. Robinson",
 year         = "1953",
 title        = "Undecidable Theories",
 publisher    = "North Holland",
)
@article(Tur36,
 author       = "A. Turing",
 year         = "1936",
 title        = "On Computable Numbers, With an Application to the Entscheidungsproblem",
 journal      = "Proceedings of the London Mathematical Society",
 volume       = "42",
 pages        = "230--265",
 note         = "Correction in 43 (1937), 544--546.",
)