Logic, Model Theory, Continuous Model Theory