
Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, this is a concise, comprehensive, and authoritative introduction to contemporary...