Louis Couturat -Traité de Logique algorithmique

This text is based on lectures Couturat gave at the University Caen. It is an outstanding document of the popularization and propagation of symbolic logic around 1900, and it is the only manuscript mentioned in his correspondence that has been rediscovered.