Intuitionistic Proof Versus Classical Truth
Enrico Martino
Springer Nature Switzerland AG, 2018
121,95 €On orderDelivery: 2-3 weeks
This book examines the role of acts of choice in classical and intuitionistic mathematics.
- ISBN-13
- 9783030089719
- ISBN-10
- 3030089711
- Publisher
- Springer Nature Switzerland AG
- Year
- 2018
- Publication date
- 2018-12-22
- Pages
- 170
- Dimensions
- 235x155x