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.4k82 silver badges155 bronze badges

Andrej Bauer

23.2k1 gold badge62 silver badges108 bronze badges

Dave Clarke

16.2k3 gold badges55 silver badges105 bronze badges

cody

12k35 silver badges68 bronze badges

Kaveh

20.7k8 gold badges71 silver badges174 bronze badges