Louis Couturat -Traité de Logique algorithmique
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. It is the only one of several manuscrip...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Schlaudt, Oliver (Editor), Sakhri, Mohsen (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Basel :
Birkhäuser Basel,
2010.
|
| Series: | Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Louis Couturat -TraitΓ© de Logique algorithmique
by: Schlaudt, Oliver
Published: (2010) -
André-Louis Cholesky Mathematician, Topographer and Army Officer /
by: Brezinski, Claude, et al.
Published: (2014) -
La correspondance de jeunesse d’Henri Poincaré Les années de formation. De l'École polytechnique à l'École des Mines (1873-1878) /
Published: (2017) -
Fibonacci’s De Practica Geometrie
Published: (2008) -
Jan de Witt’s Elementa Curvarum Linearum Liber Secundus /
Published: (2010)