Elementary logic - Quine, Willard van Orman (Harvard University Press, 1980)