Lattice effect algebras - Janda, Jiří (2017)
Vedoucí práce: Jan Paseka