References
Dag Westerståhl
with Lindström, S. , Palmgren, E. (2012). Introduction: the philosophy of logical consequence and inference. Synthese, 187 (3), 817-820. https://doi.org/10.1007/s11229-012-0180-1.
(2012). From constants to consequence, and back. Synthese, 187 (3), 957-971. https://doi.org/10.1007/s11229-011-9902-z.
with Lindström, S. , Palmgren, E. (eds) (2012). Synthese 187 (3).
(2008). Proofs instead of meaning explanations: understanding classical vs intuitionistic mathematics from the outside. In R. Lupacchini, & G. Corsi (Eds.). Deduction, computation, experiment (pp. 175-194). Dordrecht: Springer.