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

29.8k85 silver badges156 bronze badges

Andrej Bauer

23.9k1 gold badge63 silver badges109 bronze badges

Dave Clarke

16.2k3 gold badges55 silver badges105 bronze badges

cody

12.2k1 gold badge36 silver badges69 bronze badges

Kaveh

20.8k8 gold badges74 silver badges175 bronze badges