Implicational Propositional Calculus: Tableaux and Completeness - P. L. Robinson (2015)