I studied it getting my CS degree - you can literally write mathematical formulas using symbols and you can perform operations in logic. Very different from a philosophy class - excuse me if you were already aware.