1. Aspects of the Theory of Syntax;Noam,1965
2. The Intrinsic Computational Difficulty of Functions;Alan,1965
3. Computability and Unsolvability;Martin,1958
4. Some classes of recursive functions;Andrej;Rozprawy Matematyczne,1953
5. Introduction to Metamathematics;Kleene,1952