Publication:5518360
From MaRDI portal
zbMath0143.01301MaRDI QIDQ5518360
Publication date: 1962
Related Items
Constructive transfinite number classes, A complete classification of the Δ₂¹-functions, A Hierarchy Based on a Type Two Object, Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic