Title: Survey of Symbolic Logic