Development of Symbolic Logic by Arthur Thomas Shearman