scientific article; zbMATH DE number 3194530
From MaRDI portal
Publication:5730894
zbMath0119.25203MaRDI QIDQ5730894
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The theory of hereditarily bounded sets ⋮ Finite queries do not have effective syntax. ⋮ Working with ARMs: Complexity results on atomic representations of Herbrand models