scientific article; zbMATH DE number 218533
From MaRDI portal
Publication:4694249
zbMath0779.03002MaRDI QIDQ4694249
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: