1 paper · 1 filter
Amogh Inamdar, Uzay Macar, Michel Vazirani +6
The study of propositional logic -- fundamental to the theory of computing -- is a cornerstone of the undergraduate computer science curriculum. Learning to solve logical proofs re…