Title: A survey of symbolic logic