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.3k81 silver badges155 bronze badges

Andrej Bauer

22.9k1 gold badge61 silver badges108 bronze badges

Dave Clarke

16.1k3 gold badges53 silver badges103 bronze badges

cody

11.8k34 silver badges66 bronze badges

Kaveh

20.6k8 gold badges71 silver badges173 bronze badges