On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory (Q5547574)
From MaRDI portal
scientific article; zbMATH DE number 3261605
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory |
scientific article; zbMATH DE number 3261605 |
Statements
On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory (English)
0 references
1963
0 references
recursion theory, constructive mathematics
0 references
