Louis Couturat -Trait
Publications des Archives Henri Poincar
Hrsg. v. Oliver Schlaudt u. Mohsen Sakhri
- 出版社:Birkhäuser
- 出版年月:2010年 00月
- ISBN:9783034604109
- 装丁:HRD
-
装丁について
- 版次:2010. 23
- 巻数・ページ数:318 p.
- 分類: 数学史・数理哲学
- 内容紹介:
-
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 Couturatmentioned in his correspondence that meanwhile has been rediscovered.