Logic from Computer Science