Review of symbolic logic