A computational glimpse at the Leibniz and Frege hierarchies | Publicación