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...
Autor Corporativo: | |
---|---|
Otros Autores: | , |
Formato: | Libro electrónico |
Idioma: | Inglés |
Publicado: |
Basel :
Birkhäuser Basel
2010.
|
Colección: | Publications des Archives Henri Poincaré.
Springer eBooks. |
Acceso en línea: | Conectar con la versión electrónica |
Ver en Universidad de Navarra: | https://innopac.unav.es/record=b32942527*spi |