scientific article; zbMATH DE number 3361272
From MaRDI portal
Publication:5634868
zbMath0227.68044MaRDI QIDQ5634868
V. P. Orevkov, G. V. Davydov, S. Yu. Maslov, A. O. Slisenko, Grigori Mints
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Decidability of the Class E by Maslov’s Inverse Method, Proof schemata in Hilbert-type axiomatic theories, Connection methods in linear logic and proof nets construction