scientific article

zbMath0299.02027MaRDI QIDQ4053615

Valery Plisko

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (2)

On hyperarithmetical realizability ⋮ A survey of predicate realizability logic

This page was built for publication: