Elementary Logic - QUINE, W. V. (Harvard University Press, 1980)