scientific article; zbMATH DE number 3556011

zbMATH Open0357.02009MaRDI QIDQ4128520FDOQ4128520

Authors: Sergey Popov 

Publication date: 1976

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

Mathematics Subject Classification ID

Classical propositional logic (03B05) Proof theory and constructive mathematics (03F99)

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