scientific article; zbMATH DE number 3204616
From MaRDI portal
zbMath0126.01401MaRDI QIDQ5331477
Publication date: 1957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Algorithmic uses of the Feferman-Vaught theorem, Back-and-forth systems for fuzzy first-order models, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, An Ehrenfeucht-Fraïssé game for Lω1ω
