Logical Studies of Paraconsistent Reasoning in Science and Mathematics Más libros de Holger Andreas & Peter Verdée

Dynamic Tractable Reasoning

2020