Paraconsistency in Mathematics - Weber (Cambridge University Press, 2022)