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.

History Excerpt history

logic cs.lo.logic

Neel Krishnaswami

31.1k90 silver badges160 bronze badges

Andrej Bauer

25.7k1 gold badge68 silver badges116 bronze badges

Dave Clarke

16.5k3 gold badges58 silver badges106 bronze badges

cody

12.8k1 gold badge40 silver badges84 bronze badges

Kaveh

21.1k8 gold badges78 silver badges179 bronze badges