MAT 200: Logic, Language and Proof