symbolic logic
mathematical logic
formal logic

Here; I'll write it down in symbolic logic for you.

But if you remember your symbolic logics there should be no problems.

Bring to class tomorrow a written proof, in symbolic logic, of your answer to my original question.

By the 1930s symbolic logic itself was adequately included within mathematics.

Something that isn't used so much for symbolic logic.

More than any other single work, it established the specialty of mathematical or symbolic logic.

The third group worked in mathematical, or symbolic, logic.

Was it this secret inheritance that gave Stefan his interest in symbolic logic and time?

In symbolic logic much use is made of the signs (there exists) and (for all), although we don't often employ these here.

His system of symbolic logic enabled him to work out the most complex problems with absolute certainty in a surprisingly short time.