scientific article
From MaRDI portal
Publication:3764131
zbMath0628.03015MaRDI QIDQ3764131
D. I. Sviridenko, Sergei S. Goncharov
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)
Related Items (5)
Uniformization in superstructures over some extensions of \(\mathbb{R}\) ⋮ Logical approach to control theory and applications ⋮ Effective oracles ⋮ Logical language of description of polynomial computing ⋮ The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
This page was built for publication:
