Decision methods in the theory of ordinals (Q5608006)
From MaRDI portal
scientific article; zbMATH DE number 3329918
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decision methods in the theory of ordinals |
scientific article; zbMATH DE number 3329918 |
Statements
Decision methods in the theory of ordinals (English)
0 references
1965
0 references
