Repository | Directory | Profile

Peter Verdée
(2010-2019)
XAdaptive proofs for networks of partial structures
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer

Paraconsistent reasoning in science and mathematics
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer
