CS 500, Logic in Computer Science, 202101

Instructor:
Esra Erdem ,   esraerdem@sabanciuniv.edu