The Development of Symbolic Logic by Arthur T. Shearman