scientific article; zbMATH DE number 3316894
From MaRDI portal
Publication:5596755
zbMath0199.01401MaRDI QIDQ5596755
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
An example related to Gregory's theorem ⋮ La prédicativité ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Classes of Polish spaces under effective Borel isomorphism ⋮ Hyperarithmetical Sets ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Gödel and Intuitionism ⋮ The Limits of Predicativity Revisited ⋮ La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
This page was built for publication:
