J. Richard Buchi, Julia Robinson, Robert L. Vaught, J. W. Addison, S. C. Kleene, John Myhill, J. R. Shloenfield et al

• Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Congress