I will start in on the semantics of first order logic and model theory on Tuesday, so please start into Chapter 3, “The Semantics of Logical Inference”, in order to be prepared for class.