1. Foundations of Constructive Analysis;Bishop,2012
2. On Computable Numbers, with an Application to the Entscheidungsproblem;Turing,1937
3. Lectures on Constructive Mathematical
Analysis
4. Computable Functions
5. Recursively enumerable sets and degrees. A study of computable functions and computably generated sets.[J];Soare;perspectives in mathematical logic,1987