Distributivity in symmetric constructive full lambek calculus - Michal Kozak (Изд-во НАН РА)
Keywords: Mathematics; Algebra