A Survey of Symbolic Logic by