ردهها جبر جبر ختی برابر انگلیک (انگلیسی): IBM تاربرگهای پیمودهشده در این نشست: consequence relation ⟩ درتاهش ⟩ سُتوارشی ⟩ پذیرفتنی ⟩ جبر ختی ⟩ درآمدی به خوارزمیکها