Incomputability after Alan Turing

S. Barry Cooper
2012 Notices of the American Mathematical Society  
doi:10.1090/noti866 fatcat:4mtlv6oddzec3kr2gvta542w2i