Logic and Computer Science