![125756](https://sdvigpress.org/images/creator/_default.jpg)
References
Dag Westerståhl
From constants to consequence, and back![Open Access Link](images/OAlink.png)
2012
Synthese 187/3
![Open Access Link](images/OAlink.png)
Proofs instead of meaning explanations: understanding classical vs intuitionistic mathematics from the outside![Open Access Link](images/OAlink.png)
2008
in: Deduction, computation, experiment, Dordrecht : Springer
![Open Access Link](images/OAlink.png)