Об условиях разрешимости полноты и выразимости функциональных аналогов исчислений высказыванийдоклад на конференции