scientific article; zbMATH DE number 1354094

zbMATH Open0924.01018MaRDI QIDQ4268403FDOQ4268403

Authors:

Publication date: 28 October 1999

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

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

zbMATH Keywords

structural rulesclassification of logical calculiN. A. Vasil'evV. A. Smirnov

Mathematics Subject Classification ID

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

Cited In (6)

• V. A. Smirnov's results in the field of modern formal logic
• Title not available (Why is that?)
• Problems of relevant logic in V. A. Smirnov's book: Formal deduction and logical calculi
• A mind of a non-countable set of ideas
• Logic and proof-search procedures
• Certain logical ideas of V. A. Smirnov and modern logic

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)