Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 3237823

From MaRDI portal
Publication:5525337
Jump to:navigation, search

zbMATH Open0147.25001MaRDI QIDQ5525337FDOQ5525337


Authors: A. V. Kuznetsov Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5525337&oldid=30111623"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 March 2024, at 03:21. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki