scientific article; zbMATH DE number 3600028
From MaRDI portal
Publication:4166752
zbMath0386.03027MaRDI QIDQ4166752
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Intuitionistic mathematics (03F55)
This page was built for publication: