TY  - JOUR
AU  - Binder, Jiří
AU  - Pták, Pavel
TI  - A representation of orthomodular lattices
JO  - Acta Universitatis Carolinae. Mathematica et Physica
PY  - 1990
SP  - 21
EP  - 26
VL  - 31
IS  - 1
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/AUCMP_1990__31_1_a3/
LA  - en
ID  - AUCMP_1990__31_1_a3
ER  -