Methods of logic - Quine, W. V. (RKP, 1974)