Машина доказывает - Глушков, В. М. Виктор Михайлович (Новое в жизни, науке, технике. Математика, кибернетика, 1981)