A Survey of Symbolic Logic door