Methods of logic - Quine, Willard Van Orman (Harvard University Press, 1982)