scientific article; zbMATH DE number 3237823

zbMATH Open0147.25001MaRDI QIDQ5525337FDOQ5525337

Authors: A. V. Kuznetsov 

Publication date: 1965

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

zbMATH Keywords

mathematical logic

Cited In (3)

• Undecidable iterative propositional calculus
• On superintuitionistic logics as fragments of proof logic extensions
• Nontabularity of the logic S4 with respect to functional completeness

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