Publication:3674615
From MaRDI portal
zbMath0523.03008MaRDI QIDQ3674615
Publication date: 1983
03B05: Classical propositional logic
03B20: Subsystems of classical logic (including intuitionistic logic)
zbMath0523.03008MaRDI QIDQ3674615
Publication date: 1983
03B05: Classical propositional logic
03B20: Subsystems of classical logic (including intuitionistic logic)