Кибернетика и логика - Бирюков Б.В.