عنوان Exploring Group Theory with First-Order Logic نوع پژوهش مقاله ارائه شده کلیدواژهها First-order language, Algebraic structure, First-order theory چکیده -- پژوهشگران سمیه تاری (نفر اول)