Suite à l'annonce postée sur sci.logic par Peter Smith de la mise à jour de Latex for logicians, j'ai découvert le carnet Web de Richard Zach et son énorme Development of Mathematical Logic from Russell to Tarski: 1900-1935 (fichier PDF) co-écrit avec Paolo Mancosu et Calixto Badesa.

Toujours en rapport avec LaTex et toujours via cette note de Richard Zach, une classe Latex pour produire des formules semblables à l'Idéographie de Frege.