Structures in Logic and Computer Science