Cargando…
One hundred years of intuitionism (1907-2007) : the Cerisy conference /
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of th...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Basel ; Boston :
Birkhauser,
©2008.
|
| Colección: | Publications des Archives Henri-Poincaré.
|
| Temas: | |
| Acceso en línea: | Texto completo |