Ordering groups constructively (Q5238136)
From MaRDI portal
scientific article; zbMATH DE number 7122742
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordering groups constructively |
scientific article; zbMATH DE number 7122742 |
Statements
Ordering groups constructively (English)
0 references
28 October 2019
0 references
constructive mathematics
0 references
entailment relations
0 references
ordered groups
0 references
0 references
