scientific article; zbMATH DE number 3275580
From MaRDI portal
Publication:5559243
zbMath0173.01003MaRDI QIDQ5559243
S. Yu. Maslov, V. P. Orevkov, Grigori Mints
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Three ways of recognizing inessential formulas in sequents ⋮ Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter