CSCI 1950-Y (now CSCI 1710)
Logic for Systems
New Course Website