Concepedia
Proceedings of the London Mathematical Society · 1952 · 1.1K citations · 0 references
Order TheoryAbstract AlgebrasAbstract AlgebraOrdered GroupOrder-sorted Logic