توصیف:
پشت جلد به انگلیسی: Davood Hosseini. Proof theory sequent calculus: A framework for meaning and logic.
(يادداشت عنوان و پديدآور)
واژهنامه
(يادداشت واژه نامه، کتابنامه و نمايه هاي داخل اثر)
کتابنامه: ص. [361] - 366.
(يادداشت واژه نامه، کتابنامه و نمايه هاي داخل اثر)
نمایه
(يادداشت واژه نامه، کتابنامه و نمايه هاي داخل اثر)