Theory of Provable Recursive Functions (Q5338326)
From MaRDI portal
scientific article; zbMATH DE number 3211090
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theory of Provable Recursive Functions |
scientific article; zbMATH DE number 3211090 |
Statements
1965
0 references
mathematical logic
0 references
Theory of Provable Recursive Functions The value's type "string" does not match Property's type "monolingualtext".
0 references
