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...
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , , , |
Format: | Electronic eBook |
Language: | English |
Published: |
Basel :
Birkhäuser Basel : Imprint: Birkhäuser,
2008.
|
Edition: | 1st ed. 2008. |
Series: | Science autour de / around 1900,
|
Subjects: | |
Online Access: | https://doi.org/10.1007/978-3-7643-8653-5 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|