Development of Symbolic Logic door Arthur Thomas Shearman