Coding Logic and Games