
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
