BibSonomy publications for /user/jaeschke/turingTue Jul 25 17:37:49 CEST 2006Proceedings of the London Mathematical Society42230--265On Computable Numbers, with an Application to the {E}ntscheidungsproblem21936problem computable turing halting numbers