Logic and Modeling 2021: Lecture 13

Video 5: infinite and finite model definability (2)

Video 6: reachability by a binary relation