1
$\begingroup$

On MathOverflow, questions about mathematical logic bear the tag , which has a synonym of .

Where did this lo.logic spelling come from? Why is it not the primary spelling of the tag?

$\endgroup$
2

Browse other questions tagged .