|
|
by Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François
Published 2014
“...) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several...”Published 2014
Birkhäuser