Title: Beginning model theory
Subjects: Completeness theorem, Model theory