Repository | Directory | Profile

References
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
