One hundred years of intuitionism (1907-2007) : the Cerisy conference / Mark van Atten [and others], editors.
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...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic |
| Language: | English |
| Published: |
Basel ; Boston :
Birkhauser,
©2008.
|
| Series: | Publications des Archives Henri-Poincaré.
|
| Subjects: | |
| Online Access: | Click for online access |