Language Proof Logic Solutions 2nd Edition