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