1. Seehorn, A. (2021) The History of Equality Symbols in Math.https://sciencing.com/history-equality-symbols-math-8143072.html
2. Cajori, F. (1928) A History of Mathematical Notations: Vol. 1—Notations in Elementary Mathematics. The Open Court Company, 297-298.
3. McGrath, Matthew; Frank, Devin (2023) Propositions. In: Zalta, E.N. and Nodelman, U., Eds., The Stanford Encyclopedia of Philosophy (Winter 2023 ed.), Metaphysics Research Lab, Stanford University.
4. Kleene, S.C. (2002) Mathematical Logic. Dover Publications, 189.
5. Panu, R. (2013) Gödel’s Incompleteness Theorems. Stanford Encyclopedia of Philosophy.