Moshe Y. Vardi (2009), From Aristotle to Pentium, Rice University, URL: http://www.cs.rice.edu/~vardi/comp409/logic09-general4.pdf