About

lo.logic

Tag Info

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.

logic cs.lo.logic

Neel Krishnaswami

29.7k83 silver badges155 bronze badges

Andrej Bauer

23.5k1 gold badge62 silver badges108 bronze badges

Dave Clarke

16.2k3 gold badges55 silver badges105 bronze badges

cody

12k36 silver badges69 bronze badges

Kaveh

20.8k8 gold badges72 silver badges175 bronze badges