scientific article; zbMATH DE number 3237823
From MaRDI portal
Publication:5525337
zbMath0147.25001MaRDI QIDQ5525337
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (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:
