Computational and mathematical logic.

This tag is used for Logic in Computer Science and Mathematical Logic questions, corresponding to cs.LO and math.Lo tags on arXive.