Title: A Survey of Symbolic Logic