Introduction to Computational Logic Information Page

Introduction to Computational Logic


Term: Fall 2017

Textbook: Logic in Computer Science (Second Edition) by Michael Huth and Mark Ryan.

Time: 0910-1210 Wednesdays

Place: 105, CSIE Building