Conference | Speakers | Profile
Dag Westerståhl
2012
Synthese 187/3
From constants to consequence, and back
2012
Synthese 187/3
Proofs instead of meaning explanations
2008
in: Deduction, computation, experiment, Dordrecht : Springer
Conference | Speakers | Profile
2012
Synthese 187/3
From constants to consequence, and back
2012
Synthese 187/3
Proofs instead of meaning explanations
2008
in: Deduction, computation, experiment, Dordrecht : Springer