THE MATHEMATICAL ANALYSIS OF LOGIC
Subtitle: BEING AN ESSAY TOWARDS A CALCULUS OF DEDUCTIVE REASONING.