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 23 de noviembre de 2024];(28):1-44.