Methods of logic - Quine, W.V. (Harvard University Press, 1982)