The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning. Cambridge, Macmillan; London, G. Bell.