ЗАДАЧА: Доказать, что х • у = геделеву номеру выражения АВ, если х - геделев номер выражения А, а у - геделев номер выражения Информацию по гёделевым номерам можно найти в книге Э. Мендельсона "Введение в математическую логику"
Спасибо за сотрудничество! Надеюсь на продолжение. Работа выполнена качественно, аккуратно оформлена, всё очень оперативно и вполне приемлемая стоимость. Очень жду новых возможностей для совместной работы.