CS 400, Logic in Computer Science, 202401

Instructor:
Esra Erdem ,   esraerdem@sabanciuniv.edu