cardinality of language
قوت زبان
quantum logic
منطق کوانتومی
algebraic logic
منطق جبری
relational algebra
جبر رابطه‌ای
language
زبان
relation
رابطه
منطق ریاضی
mathematical logic