Holger Andreas

Dynamic Tractable Reasoning

Logical Studies of Paraconsistent Reasoning in Science and Mathematics