symbolic logic
noun
°Synonym for mathematical logic (obsolescent).