Representability of Partial Recursive Functions in Formal Theories (Q5607995)
From MaRDI portal
scientific article; zbMATH DE number 3329903
Language | Label | Description | Also known as |
---|---|---|---|
English | Representability of Partial Recursive Functions in Formal Theories |
scientific article; zbMATH DE number 3329903 |
Statements
1967
0 references
Representability of Partial Recursive Functions in Formal Theories (English)
0 references