Ответ на этот вопрос, возможно, содержится в моем обновленном сайте «Вычислимая логика» ( http://logic-cor.narod.ru ). В Гостевой книге предпочтение отдается критическим замечаниям.