Composition-nominative logics of free-quantifier levels. - Stepan S. Shkilniak; Dmytro Volkovytskyi (UkrPROG, 2016)