%0 Journal Article %1 Turing01011937 %A Turing, A. M. %D 1937 %J Proceedings of the London Mathematical Society %K imperativeprogramming %N 1 %P 230-265 %R 10.1112/plms/s2-42.1.230 %T On Computable Numbers, with an Application to the Entscheidungsproblem %U http://plms.oxfordjournals.org/content/s2-42/1/230.short %V s2-42

@article{Turing01011937, added-at = {2014-12-07T00:13:01.000+0100}, author = {Turing, A. M.}, biburl = {https://www.bibsonomy.org/bibtex/2dc392444aa16e09ff0f20ba38d73544d/wolftype}, doi = {10.1112/plms/s2-42.1.230}, eprint = {http://plms.oxfordjournals.org/content/s2-42/1/230.full.pdf+html}, interhash = {141e00afb24e40c17e5b10bf966185aa}, intrahash = {dc392444aa16e09ff0f20ba38d73544d}, journal = {Proceedings of the London Mathematical Society}, keywords = {imperativeprogramming}, number = 1, pages = {230-265}, timestamp = {2014-12-07T00:13:01.000+0100}, title = {On Computable Numbers, with an Application to the Entscheidungsproblem}, url = {http://plms.oxfordjournals.org/content/s2-42/1/230.short}, volume = {s2-42}, year = 1937 }