Условия выразимости и полноты в k-значных исчисленияхдоклад на конференции