Priest, Graham (1983). "The Logical Paradoxes and the Law of Excluded Middle". The Philosophical Quarterly. 33 (131): 160–165. doi:10.2307/2218742. JSTOR2218742.
Priest, Graham (1983). "The Logical Paradoxes and the Law of Excluded Middle". The Philosophical Quarterly. 33 (131): 160–165. doi:10.2307/2218742. JSTOR2218742.
metamath.org
us.metamath.org
This well-known example of a non-constructive proof depending on the law of excluded middle can be found in many places, for example: Megill, Norman. Metamath: A Computer Language for Pure Mathematics. footnote on p. 17. and Davis 2000:220, footnote 2.
nytimes.com
archive.nytimes.com
Priest, Graham (28 November 2010). "Paradoxical Truth". Opinionator. Retrieved 10 September 2023.