 Some of the seminal papers by Henkin and Lorenzen, and some of the papers cited below, appear in the collection Infinitistic Methods (Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September, 1959), Oxford: Pergamon Press, 1961. The editors are unnamed.