Logic and computer science