Ознакомительный фрагмент. Получить полный доступ
Логика и компьютер: Моделирование рассуждений и проверка правильности программ