Title: Logic and Computer Science