scientific article; zbMATH DE number 3423993

MaRDI QIDQ5686016zbMATH OpenFDO

Authors V. A. Smirnov

Publication date 1972

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) General logic (03B99) 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 Q5686016)