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