Логические теории одноместных функций на натуральном рядедиссертация