基本説明
The manuscript of the Traité de Logique algorithmique resulted from lectures Couturat gave at the University of Caen in 1898/99 on recent developments in symbolic logic, on the relations of logic and mathematics, and on the scope of the methods of mathematics. This is the one of several manuscripts Couturat
mentioned in his correspondence that meanwhile has been rediscovered.
Full Description
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.
