Logic and Coding