Title: Language, Proof and Logic