
Heinrich Wansing
(2000-2009)
XFrom logic to mathematical philosophy
2009
in: Towards mathematical philosophy, Dordrecht : Springer
Logical connectives for constructive modal logic
2006
Synthese 150/3

(2000-2009)
XFrom logic to mathematical philosophy
2009
in: Towards mathematical philosophy, Dordrecht : Springer
Logical connectives for constructive modal logic
2006
Synthese 150/3