Dag Westerståhl
monographs X
4 Publications
From constants to consequence, and back
2012
Synthese 187 (3)
Introduction
The philosophy of logical consequence and inference
2012
Synthese 187 (3)
The philosophy of logical consequence and inference
2012
Sten Lindström, Erik Palmgren, Dag Westerståhl (eds)
Synthese 187 (3)
Proofs instead of meaning explanations
understanding classical vs intuitionistic mathematics from the outside
2008
in: Deduction, computation, experiment, Berlin,
4 Publications