Калимуллин И. Ш. Алгоритмические сводимости счетных алгебраических систем : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06. - Казань : [б. и.], 2009. - 30 с.