Composition-nominative logics of free-quantifier levels - S. S. Shkilniak; D. B. Volkovytskyi (Problems in programming, 2016)