The Mathematical Analysis of Logic, being an Essay Towards a Calculus of Deductive Reasoning: Die mathematische Analyse der Logik. Der Versuch eines Kalküls des deduktiven Schliessens