A formalisation of the "step forward - step backward" reasoning. - Lukowski, Piotr (Anales del Seminario de Historia de la Filosofía, 2001)
Sin resumen