Alfred North Whitehead; Bertrand Russell. Principia Mathematica1 2nd. Cambridge University Press. 1927. Here: p.665. According to Quine, the term originates from there.
books.google.com
John C. Mitchell. Concepts in Programming Languages. Cambridge University Press. 2002: 78.