A system of logistic - Quine, Willard Van Orman (Harvard University Press, 1934)