Вернуться к Подробностям о статье On First-order Theories Which Can Be Represented by Definitions Скачать Скачать PDF