scientific article
From MaRDI portal
Publication:3310595
zbMath0529.03014MaRDI QIDQ3310595
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20) Other constructive mathematics (03F65)
Related Items (6)
A methodology of structured-modular composition programming ⋮ Geometry of recursion for arithmetic and existentially defined relations ⋮ On the paralogicality of some logical constructs ⋮ Formal methods in computer technologies ⋮ The Thue problem and logical specifications of derivation in formal systems ⋮ Complexity of the search for the least solution to a system of dictionary equations of exponential type
This page was built for publication:
