I would think that would be more logic than discrete math? Math is a good abstraction, such that it can be brought to describe the work many other fields do.

I would think that would be more logic than discrete math? Math is a good abstraction, such that it can be brought to describe the work many other fields do. It doesn't stand that what the others are doing is automatically math, though.