Logic, logic, and logic - Boolos, George, 1940-1996 (Harvard University Press, 1999)