arXiv cs.LO Logic in Computer Science
1 following