scientific article; zbMATH DE number 1354094

MaRDI QIDQ4268403zbMATH OpenFDO

Authors

Publication date 28 October 1999

zbMATH Keywords

classification of logical calculiN. A. Vasil'evstructural rulesV. A. Smirnov

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 1206827
• Certain logical ideas of V. A. Smirnov and modern logic
• V. A. Smirnov's results in the field of modern formal logic

Cited in

(7)

• V. A. Smirnov's results in the field of modern formal logic
• Certain logical ideas of V. A. Smirnov and modern logic
• Problems of relevant logic in V. A. Smirnov's book: Formal deduction and logical calculi
• Logic and proof-search procedures
• A mind of a non-countable set of ideas
• scientific article; zbMATH DE number 46073 (Why is no real title available?)
• scientific article; zbMATH DE number 1206827 (Why is no real title available?)

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