JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Subalgebras of an Order Sorted Algebra. Lattice of Subalgebras1

First Page		Document Content
Date: 2004-01-02 08:28:52		JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Subalgebras of an Order Sorted Algebra. Lattice of Subalgebras1 Add to Reading List Source URL: mizar.org Download Document from Source Website File Size: 85,82 KB Share Document on Facebook