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)