Logical Studies of Paraconsistent Reasoning in Science and Mathematics More Books by Holger Andreas & Peter Verdée

Dynamic Tractable Reasoning

2020