scientific article; zbMATH DE number 3230250
From MaRDI portal
Publication:5518360
zbMath0143.01301MaRDI QIDQ5518360
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A complete classification of the Δ₂¹-functions ⋮ Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic ⋮ A Hierarchy Based on a Type Two Object ⋮ Constructive transfinite number classes