Սխալ մը տեղի ունեցած է, զեկոյցը չէ ղրկուած։ Ստուգէ թէ, արդեօք տուեալները ճի՞շդ են եւ կրկին փորձէ։
Ներկայացուր նիւթին հետ կապուած խնդիրը: The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems