Development of a classification system for Mathematical Logic | Publicación