On unsolvability in subrecursive classes of predicates (Q1221106)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On unsolvability in subrecursive classes of predicates |
scientific article; zbMATH DE number 3494397
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On unsolvability in subrecursive classes of predicates |
scientific article; zbMATH DE number 3494397 |
Statements
On unsolvability in subrecursive classes of predicates (English)
0 references
1979
0 references
FORMAL LANGUAGE
0 references
UNSOLVABILITY
0 references
UNDECIDABILITY
0 references
SUBRECURSIVE CLASSES
0 references
