Logic over words on denumerable ordinals
scientific article; zbMATH DE number 1763388
scientific article