It was probably too easy for a third year course.
I learned about models and interpretations and about axiomatizing a domain and having an intended interpretation for the symbols.