1. Ehrenfeucht, A., ?Polynomial Functions with Exponentiation Are Well Ordered?, Algebra universalis 3 (1973), 261?263.
2. Gandy, R. O., ?The Concept of Computability?, in R. Harré (ed.), Scientific Thought 1900?1960, Clarendon Press, Oxford, 1969.
3. Kreisel, G., ?Which Number Theoretic Problems Can Be Solved in Recursive Progressions on ? 1 1 -Paths Through 0??, Journal of Symbolic Logic 37 (1972), 311?334 (reviewed in Zentralblatt 255 (1973), 28?29).
4. Mints, G. E., ?On E-theorems?, Zapiski 40 (1974), 101?118.
5. Moser, J., ?Stable and Random Motions in Dynamical Systems, with Special Emphasis on Celestial Mechanics?, Annals of Mathematics Studies, Vol. 77, Princeton University Press, Princeton, N.J., 1973.