Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory of Harvard University, vol. 31, Harvard University Press, Cambridge, Mass., 1962, pp. 32–47.
Peter B. Andrews · Journal of Symbolic Logic · 1965
Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory of Harvard University, vol. 31, Harvard University Press, Cambridge, Mass., 1962, pp. 32–47. - Volume 30 Issue 3