The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning.