1.
Bocheriski, I. M., A history of formal logic (2nd edn), Chelsea Publishing Company (1970).
2.
Sextus Empiricus, Adversus Mathematicos.
3.
Stoll, Robert R., Sets, logic, and axiomatic theories, W. H. Freeman, (1961).
4.
Bekker, Immanuel, Anecdota Graeca, Schneider, R. and Uhlig, G., Lipsiae, , 1878-1910, First edition by Nauck, G. C., Berlin, 1814-1821.
5.
Priest, Graham, Logic: A very short introduction, Oxford University Press (2000).
6.
Waugh, Auberon, Will this do? The first fifty years of Auberon Waugh: an autobiography, Carroll & Graf Publishers (1991).
7.
Arnold, V. I., From Hilbert's superposition problem to dynamical systems, Amer. Math. Monthly, 111(7) August--September 2004, pp. 608–624.
8.
Kaku, Michio, Venus envy, The Wall Street Journal, CCXLVIII(40):A8, Thursday 17 August 2006. Western Edition.
9.
Gigot, Paul A. (ed.), What planet are you on?
The Wall Street Journal, CCXLVIII(40):A8, Thursday 17 August 2006. Western Edition.
10.
Kortenkamp, Steve, Why isn't Pluto a planet?: a book about planets, Capstone Press, Mankato, MN (2007).
11.
Weintraub, David A., Is Pluto a planet?: a historical journey through the solar system, Princeton University Press (2007).
12.
Church, Alonzo, Introduction to mathematical logic (10th printing), Princeton University Press (1996).
13.
Mates, Benson, Elementary logic (2nd edn.), Oxford University Press (1972).
14.
Sextus Empiricus, Outlines of Pyrrhonism.
15.
Schechter, Eric, Classical and nonciassicallogics, Princeton University Press (2005).
16.
Nievergelt, Yves, Foundations of logic and mathematics: applications to computer science and cryptography, Birkhäuser-Boston, Cambridge, MA (2002).
17.
Harrison, John R., Handbook of practical logic and automated reasoning, Cambridge University Press (2009).
