Sep. 2013 Theory of Computability