Pridas J F, Orejas F. Clases de fórmulas aritméticas en la 1-reducibilidad. Bol. Cent. Calc. Univ. Complut. [Internet]. 10 de septiembre de 2015 [citado 11 de enero de 2026];(28):1-44.