Louis Couturat traite 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...

Descripción completa

Detalles Bibliográficos
Otros Autores: Schlaudt, Oliver (-), Sakhri, Mohsen
Formato: Libro electrónico
Idioma:Francés
Publicado: Basel : Birkhauser 2010.
Edición:1st ed. 2010.
Colección:Publications des Archives de Henri-Poincare = Publications of the Henri Poincare Archives.
Publications des Archives Henri-Poincare. Science around 1900.
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009456527206719

Ejemplares similares