Publication:3794229
From MaRDI portal
zbMath0649.06005MaRDI QIDQ3794229
Publication date: 1988
Full work available at URL: https://eudml.org/doc/187417
03G10: Logical aspects of lattices and related structures
06D20: Heyting algebras (lattice-theoretic aspects)
03G25: Other algebras related to logic
Related Items