Logical Studies of Paraconsistent Reasoning in Science and Mathematics Mehr Bücher von Holger Andreas & Peter Verdée

Dynamic Tractable Reasoning

2020