Title: Implicativity and irreducibility in orthomodular lattices
First published: 1965
Subjects: Lattice theory