scientific article; zbMATH DE number 3557745

zbMath0358.02023MaRDI QIDQ4133596

Grigori Mints

Publication date: 1974

Full work available at URL: https://eudml.org/doc/66677

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)

Related Items

Finite investigations of transfinite derivations

This page was built for publication: