COMPSCI 288: Logic and Its Applications