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

27.1k80 silver badges153 bronze badges

Andrej Bauer

22.5k1 gold badge59 silver badges108 bronze badges

Dave Clarke

15.2k3 gold badges53 silver badges103 bronze badges

cody

11.5k34 silver badges66 bronze badges

Kaveh

16.3k8 gold badges71 silver badges172 bronze badges