1. Arora, S., Barak, B.: Complexity Theory: A Modern Approach. Cambridge University Press (2009)
2. Friedman, H.: Some systems of second order arithmetic and their use. In: Proceedings of the International Congress of Mathematicians, Vancouver, B.C, vol. 1, pp. 235–242. Canad. Math. Congress, Montreal (1974)
3. Gold, E.M.: Language identification in the limit. Information and Control 10(5), 447–474 (1967)
4. Goodstein, R.: On the restricted ordinal theorem. Journal of Symbolic Logic 9, 33–41 (1944)
5. Huber, F., Schmidt-Petri, C. (eds.): Degrees of Belief. Springer (2009)