BibliographyType,ISBN,Identifier,Author,Title,Journal,Volume,Number,Month,Pages,Year,Address,Note,URL,Booktitle,Chapter,Edition,Series,Editor,Publisher,ReportType,Howpublished,Institution,Organizations,School,Annote,Custom1,Custom2,Custom3,Custom4,Custom5
7,"","turing1936a","Turing, Alan M.","On Computable Numbers, with an Application to the Entscheidungsproblem","Proceedings of the London Mathematical Society",2,42,"","230--265",1936,"","","http://www.cs.helsinki.fi/u/gionis/cc05/OnComputableNumbers.pdf","","","","","","","","","","","","Turing's famous demonstration of the formal limits on computation
based on a proof that the {\em halting problem} is undecidable.","","","computability, tcs, logic","",""