scientific article; zbMATH DE number 3328980
From MaRDI portal
Publication:5607207
zbMath0207.00401MaRDI QIDQ5607207
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
A criterion for admissibility of rules in the modal system S4 and intuitionistic logic ⋮ Admissible rules for pretable modal logics
This page was built for publication: