
Intuitionistic Proof Versus Classical Truth
This book examines the role of acts of choice in classical and intuitionistic mathematics.
- Alaotsikko
- The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
- Kirjailija
- Enrico Martino
- Painos
- 2018 ed.
- ISBN
- 9783319743561
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 5.3.2018
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 170