1. Barwise, J.: 1980, ‘Infinitary Logics’, in: E. Agazzi (ed.), Modern Logic—A Survey, D. Reidel, Dordrecht, pp. 3–112.
2. Barzin, M.: 1940, ‘Sur la Portée du Théorème de M. Gödel’, Académie Royale de Belgique, Bulletin de la Classe des Sciences, Series 5, 26, pp. 230–239.
3. Dawson, J. W., Jr.: 1984, ‘Discussion on the Foundation of Mathematics’, History and Philosophy of Logic
5, 111–129.
4. Dawson, J. W., Jr.: 1985, ‘The Reception of Gödel’s Incompleteness Theorems’, in: P. D. Asquith and Ph. Kitcher (eds.), PSA 1984: Proceedings of the 1984 Biennial Meeting of the Philosophy of Science Association, vol. 2, pp. 253–271.
5. Dawson, J. W., Jr.: 1985a, ‘Completing the Gödel-Zermelo Correspondence’, Historia Mathematica
12, 66–70.