1. A. R. Anderson,Minds and Machines, Englewood Cliffs, N. J., Prentice Hall, 1964.
2. P. Benacerraf,God, the Devil and Gödel, Monist,51 (1967).
3. S. Feferman,Ordinal logics re-examined and On the strenght of ordinal logics, J.S.L.,23 (1958), pp. 105–106.
4. S. Feferman,Arithmetization of metamathematics in a general setting, Fund. Math.,49 (1960), pp. 35–92.
5. F. H. George,The Brain as a Computer, London, Pergamon Press, 1961.