محاضرو موسومة بـ: applications on logic quantifiers