scientific article
From MaRDI portal
Publication:4071217
zbMath0312.02028MaRDI QIDQ4071217
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hierarchies of computability and definability (03D55) Proof theory and constructive mathematics (03F99)
Related Items (8)
Fuzzy constructive logic ⋮ On the quantifier of limiting realizability ⋮ A majorizing semantics for hyperarithmetic sentences ⋮ Canonical recursive functions and operations ⋮ On a finitary version of mathematical analysis ⋮ Dual realizability in symmetric logic ⋮ Transfinite expansions of arithmetic formulas ⋮ Nikolai Aleksandrovich Shanin (obituary)
This page was built for publication:
