
Holger Andreas
7 Publications
Adaptive proofs for networks of partial structures
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Berlin,
Paraconsistent reasoning in science and mathematics
Introduction
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Berlin,

Logical studies of paraconsistent reasoning in science and mathematics
2016
Holger Andreas, Peter Verdée (eds)
Berlin, Springer
7 Publications