1. Lovelace, A.A. (1844) A Letter to Andrew Crosse. https://mathshistory.st-andrews.ac.uk/Extras/Lovelace_letter
2. Hilbert, D. (1990) Foundations of Geometry [Grundlagen der Geometrie]. Open Court Publishing Co., La Salle.
3. Hilbert, D. (1996) Axiomatic Thought. In: Ewald, W.B., Ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Vol. 2, Oxford University Press, Oxford, 1105-1115.
4. Hilbert, D. (1996) The New Grounding of Mathematics: First Report. In: Ewald, W.B., Ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Vol. 2, Oxford University Press, Oxford, 1115-1134.
5. Hilbert, D. (1996) The Logical Foundations of Mathematics. In: Ewald, W.B., Ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Oxford University Press, Oxford, 1134-1147.