scientific article; zbMATH DE number 4118334
From MaRDI portal
Publication:4732441
zbMath0683.03005MaRDI QIDQ4732441
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication:
