Language, Proof and Logic, 2nd Edition