Логика и компьютер. Моделирование рассуждений и проверка правильности программ (Анисов А.М.)