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 6 de diciembre de 2025];(28):1-44.