Describir: The review of symbolic logic