the_review of symbolic logic