Language Logic And Proof