scientific article
From MaRDI portal
Publication:3661545
zbMath0515.03007MaRDI QIDQ3661545
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic logicnecessityalgebraic modelsinterior operatortopological pseudo-Boolean algebrasmodal primitive
This page was built for publication: