The evolution of logic - Hart W D (Cambridge University Press, 2010)