Loading…

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 manuscri...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Schlaudt, Oliver (Editor), Sakhri, Mohsen (Editor)
Format: Electronic eBook
Language:Inglés
Published: Basel : Springer Basel : Imprint: Birkhäuser, 2010.
Edition:1st ed. 2010.
Series:Science autour de / around 1900,
Subjects:
Online Access:Texto Completo