On unsolvability in subrecursive classes of predicates (Q1221106)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On unsolvability in subrecursive classes of predicates |
scientific article |
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
