All Subjects
Light
1.1
Historical development and motivation for model theory
1.2
Basic concepts and terminology of first-order logic
1.3
Syntax and semantics of first-order languages
1.4
Applications of model theory in mathematics and computer science