Title: Logic from Computer Science