symbolic logic
mathematical logic
formal logic

His is also author/editor of several books in mathematical logic and computer science.

The development of the Actor model has an interesting relationship to mathematical logic.

He was acknowledged as a world leader in the field of mathematical logic.

His interests started primarily in analysis but moved into mathematical logic.

Thus we see how complementary the two areas of mathematical logic have been.

The program was pursued by many researchers in mathematical logic.

Mathematics can play a role in this stage too, for example through the use of mathematical logic.

As a matter of mathematical logic, no code can achieve all three.

It is also equivalent to the formal systems used in the field of mathematical logic.

The ground representation is a standard tool in mathematical logic.