On MathOverflow, questions about mathematical logic bear the tag lo.logic, which has a synonym of logic. Where did this lo.logic spelling come from? Why is it not logic the primary spelling of the tag?
On MathOverflow, questions about mathematical logic bear the tag lo.logic, which has a synonym of logic.
Where did this lo.logic spelling come from? Why is it not logic the primary spelling of the tag?
