Panel: logic in the computer science curriculum.

Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi

Browse the full SIGCSE paper archive.