Search
Adaptive proofs for networks of partial structures
Vol. 45
Holger Andreas , Peter Verdée
Paraconsistent reasoning in science and mathematics
Volume
Title
Author