scientific article; zbMATH DE number 3619886

MaRDI QIDQ4182502zbMATH OpenFDO

Authors M. A. Khachatryan

Publication date 1978

zbMATH Keywords

ClassicalCutProof TheoryIntuitionisticDerivation ComplexitySequential Calculi

Mathematics Subject Classification ID

Complexity of proofs (03F20)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4182502)