Jean Harwell Bevis

1939

• Quantifiers and dimension equivalence relations on orthomodular lattices