Introductory notes on model theory | AMiner