1. Avigad, J., E. Dean, and J. Mumma. 2009. A formal system for Euclid’s Elements. Review of Symbolic Logic 2: 700–768.
2. Awodey, S., and E.H. Reck. 2002. Completeness and categoricity. Part I: nineteenth-century axiomatics to twentieth-century metalogic. History and Philosophy of Logic 23: 1–30.
3. Beeson, M. 2010. Constructive geometry. In Proceedings of the tenth Asian logic conference, ed. T. Arai et al., 19–84. Singapore: World Scientific.
4. Bernays, P. 1930. Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. [The philosophy of mathematics and Hilbert’s proof theory] English trans. P. Mancosu. In Mancosu (1998), 234–265.
5. Bernays, P. 1967. David Hilbert. In Encyclopedia of philosophy, ed. P. Edwards, vol. 3, 496–505. New York: MacMillan.