scientific article; zbMATH DE number 3356722
From MaRDI portal
Publication:5631070
zbMath0225.02003MaRDI QIDQ5631070
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: