Coding And Decoding Logical Reasoning