Information related to Symbolic logic