Владимир Гладштейн. Программные логики и алгебры Клини