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