Mathematical logic - Quine, W. V. (Harvard University Press, 1981)
Includes bibliography and index