Recursive Density Types. II (Q5574710)
From MaRDI portal
scientific article; zbMATH DE number 3291950
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursive Density Types. II |
scientific article; zbMATH DE number 3291950 |
Statements
1969
0 references
recursion theory, constructive mathematics
0 references
Recursive Density Types. II (English)
0 references