scientific article; zbMATH DE number 3380606
From MaRDI portal
Publication:5650382
zbMath0241.02012MaRDI QIDQ5650382
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99)
This page was built for publication: