Editing Law of excluded middle (section)

== References ==
* [[Thomas Aquinas|Aquinas, Thomas]], "[[Summa Theologica]]", [[Fathers of the English Dominican Province]] (trans.), [[Daniel J. Sullivan]] (ed.), vols. 19–20 in [[Robert Maynard Hutchins]] (ed.), ''[[Great Books of the Western World]]'', Encyclopædia Britannica, Inc., Chicago, Illinois, 1952. Cited as GB 19–20.
* [[Aristotle]], "[[Metaphysics (Aristotle)|Metaphysics]]", [[W.D. Ross]] (trans.), vol. 8 in [[Robert Maynard Hutchins]] (ed.), ''[[Great Books of the Western World]]'', Encyclopædia Britannica, Inc., Chicago, Illinois, 1952. Cited as GB 8. 1st published, W.D. Ross (trans.), ''The Works of Aristotle'', Oxford University Press, Oxford, UK.
* [[Martin Davis (mathematician)|Martin Davis]] 2000, ''Engines of Logic: Mathematicians and the Origin of the Computer'', W. W. Norton & Company, NewYork, New York, {{ISBN|0-393-32229-7}} pbk.
* [[John Dawson Jr.|Dawson, J.]], ''Logical Dilemmas, The Life and Work of Kurt Gödel'', A.K. Peters, Wellesley, Massachusetts, 1997.
* [[Jean van Heijenoort|van Heijenoort, J.]], ''From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, Massachusetts, 1967. Reprinted with corrections, 1977.
* Luitzen Egbertus Jan [[Brouwer]], 1923, ''On the significance of the principle of excluded middle in mathematics, especially in function theory'' [reprinted with commentary, p.&nbsp;334, van Heijenoort]
* Andrei Nikolaevich [[Kolmogorov]], 1925, ''On the principle of excluded middle'', [reprinted with commentary, p.&nbsp;414, van Heijenoort]
* Luitzen Egbertus Jan [[Brouwer]], 1927, ''On the domains of definitions of functions'',[reprinted with commentary, p.&nbsp;446, van Heijenoort] Although not directly germane, in his (1923) Brouwer uses certain words defined in this paper.
* Luitzen Egbertus Jan [[Brouwer]], 1927(2), ''Intuitionistic reflections on formalism'',[reprinted with commentary, p.&nbsp;490, van Heijenoort]
* [[Stephen C. Kleene]] 1952 original printing, 1971 6th printing with corrections, 10th printing 1991, ''Introduction to Metamathematics'', North-Holland Publishing Company, Amsterdam, New York, {{ISBN|0-7204-2103-9}}.
* [[William Kneale|Kneale, W.]] and [[Martha Kneale|Kneale, M.]], ''The Development of Logic'', Oxford University Press, Oxford, UK, 1962. Reprinted with corrections, 1975.
* [[Alfred North Whitehead]] and [[Bertrand Russell]], ''Principia Mathematica to *56'', Cambridge at the University Press 1962 (Second Edition of 1927, reprinted). Extremely difficult because of arcane symbolism, but a must-have for serious logicians.
* [[Bertrand Russell]], ''An Inquiry Into Meaning and Truth''. The William James Lectures for 1940 delivered at Harvard University.
* [[Bertrand Russell]], ''The Problems of Philosophy, With a New Introduction by John Perry'', Oxford University Press, New York, 1997 edition (first published 1912). Easy to read.
* [[Bertrand Russell]], ''The Art of Philosophizing and Other Essays'', Littlefield, Adams & Co., Totowa, New Jersey, 1974 edition (first published 1968). Includes a wonderful essay on "The Art of drawing Inferences".
* [[Hans Reichenbach]], ''Elements of Symbolic Logic'', Dover, New York, 1947, 1975.
* [[Tom M. Mitchell|Tom Mitchell]], ''Machine Learning'', WCB McGraw–Hill, 1997.
* [[Constance Reid]], ''Hilbert'', Copernicus: Springer–Verlag New York, Inc. 1996, first published 1969. Contains a wealth of biographical information, much derived from interviews.
* [[Bart Kosko]], ''Fuzzy Thinking: The New Science of Fuzzy Logic'', Hyperion, New York, 1993. Fuzzy thinking at its finest but a good introduction to the concepts.
* [[David Hume]], ''An Inquiry Concerning Human Understanding'', reprinted in Great Books of the Western World Encyclopædia Britannica, Volume 35, 1952, p.&nbsp;449 ff. This work was published by Hume in 1758 as his rewrite of his "juvenile" ''Treatise of Human Nature: Being An attempt to introduce the experimental method of Reasoning into Moral Subjects Vol. I, Of The Understanding'' first published 1739, reprinted as: David Hume, ''A Treatise of Human Nature'', Penguin Classics, 1985. Also see: [[David Applebaum]], ''The Vision of Hume'', Vega, London, 2001: a reprint of a portion of ''An Inquiry'' starts on p.&nbsp;94 ff