TY - JOUR AU - Kovář, Tomáš TI - Normal autometrized lattice ordered algebras JO - Mathematica slovaca PY - 2000 SP - 369 EP - 376 VL - 50 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MASLO_2000__50_4_a0/ LA - en ID - MASLO_2000__50_4_a0 ER -