scientific article; zbMATH DE number 3423993
From MaRDI portal
Publication:5686016
zbMATH Open0269.02004MaRDI QIDQ5686016FDOQ5686016
Authors: V. A. Smirnov 
Publication date: 1972
Title of this publication is not available (Why is that?)
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)
