Repository | Directory | Profile

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

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