Types Of Symbolic Logic