Term: Fall 2021
Textbook: Logic in Computer Science (Second Edition) by Michael Huth and Mark Ryan.
Time: 0910-1210 Wednesdays
Place: 105, CSIE Building