CS 500, Logic in Computer Science, 202301

Instructor:
Esra Erdem ,   esraerdem@sabanciuniv.edu