https://dailynous.com/2024/06/19/a-searchable-digital-map-of-principia-mathematica/
The aim of the map, say creators Landon D.C. Elkind (Western Kentucky), Gregory Landini (Iowa), and Matthew Butler (Iowa), is to “make clear structural connections between different parts of Principia and to make analyzable data about the theorems, definitions, and primitive postulates in its text.” JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljr9J8Hm%2BaaOM%3Dc3oYahUGzd_e5adFXO54dhasWKa8zeA%40mail.gmail.com.