scientific article; zbMATH DE number 3365215
From MaRDI portal
Publication:5638280
zbMath0231.02037MaRDI QIDQ5638280
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Extension of the inverse method to axiomatic theories with equality, A specialization of the form of deductions in Gentzen calculi and its applications, THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY