scientific article; zbMATH DE number 1858065
From MaRDI portal
Publication:4789042
zbMath1011.03500MaRDI QIDQ4789042
Publication date: 2 June 2003
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:
