A course on basic model theory. (2017)