Constructive order types on cuts (Q5573381)
From MaRDI portal
scientific article; zbMATH DE number 3289441
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive order types on cuts |
scientific article; zbMATH DE number 3289441 |
Statements
Constructive order types on cuts (English)
0 references
1969
0 references
recursion theory, constructive mathematics
0 references
