Формальная предикатная логика А.Виссера: выразительность фрагментов языка от одной одноместной буквытезисы доклада