§ Model theory

§ Lecture 1