Introduction: From Practice to Results in Mathematics and Logic | Publicación