История изменений
Исправление MyTrooName, (текущая версия) :
https://domashke.com/referati/referaty-po-matematike/kursovaya-rabota-nerazre...
3. Вывести неразрешимость логики первого порядка из неразрешимости проблемы остановки.
не уверен, что это то, что тебе нужно, а не обратный результат. в любом случае, см. google://$SUBJ
Исходная версия MyTrooName, :
скачять реферат безплатно без смс
https://domashke.com/referati/referaty-po-matematike/kursovaya-rabota-nerazre...
не уверен, что это то, что тебе нужно, а не обратный результат. в любом случае, см. google://$SUBJ