scientific article; zbMATH DE number 3670436

zbMATH Open0431.03015MaRDI QIDQ3867809FDOQ3867809

Authors: V. A. Smirnov 

Publication date: 1979

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

zbMATH Keywords

epsilon symbolintuitionistic predicate calculus with identityintuitionistic system of natural deduction

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Cited In (1)

• Image of Soviet and Russian logic in the West. Latter Half of the XXth Century

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