Clases de fórmulas aritméticas en la 1-reducibilidad - Pridas, José F.; Orejas, Fernando (Boletín del Centro de Cálculo de la Universidad Complutense, 2015)