scientific article; zbMATH DE number 3275580

zbMATH Open0173.01003MaRDI QIDQ5559243FDOQ5559243

Authors: S. Yu. Maslov, V. P. Orevkov, G. E. Mints 

Publication date: 1965

Title of this publication is not available (Why is that?)

zbMATH Keywords

recursion theory, constructive mathematics

Cited In (2)

• Three ways of recognizing inessential formulas in sequents
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

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 Q5559243)