A survey of symbolic logic