Barker-Plummer D. Language, Proof and Logic 2ed 2011