Логическое следование и условные высказывания - Сидоренко Е.А (Известия, 1983)