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