An Effective Operator, Continuous but not Partial Recursive (Q5537606)
From MaRDI portal
scientific article; zbMATH DE number 3248801
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Effective Operator, Continuous but not Partial Recursive |
scientific article; zbMATH DE number 3248801 |
Statements
1968
0 references
mathematical logic
0 references
An Effective Operator, Continuous but not Partial Recursive (English)
0 references
