Formal Theory Of Quantifiers In Natural Language And Their Syllogisms. - Vilem Novak (ECMS, 2024)