Logical Studies of Paraconsistent Reasoning in Science and Mathematics - Holger Andreas, Peter Verdée (Springer, 2016)