semantic of first order logic
معنا شناسی منطق مرتبه اول
one-sorted language
زبان تک-گونه‌ای
معنا شناسی منطق مرتبه دوم
semantic of second order logic
expansion of structure
بسط ساختار
model
مدل
first order language
زبان مرتبه اول
classification of first order strucuters
رده‌بندی ساختارهای مرتبه‌اول
sort of language
گونه زبان