One hundred years of intuitionism (1907-2007)
Birkhäuser Basel
Chapter title |
Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology
|
---|---|
Chapter number | 18 |
Book title |
One Hundred Years of Intuitionism (1907–2007)
|
Published by |
Birkhäuser Basel, January 2008
|
DOI | 10.1007/978-3-7643-8653-5_18 |
Book ISBNs |
978-3-76-438652-8, 978-3-76-438653-5
|
Authors |
Giovanni Sambin, Sambin, Giovanni |