scientific article; zbMATH DE number 3273148
From MaRDI portal
Publication:5557888
zbMath0171.25901MaRDI QIDQ5557888
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Recursive categoricity and recursive stability, Algorithmic uses of the Feferman-Vaught theorem, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory