Enviar aquest missatge de text: The logic system of concept graphs with negation : and its relationship to predicate logic / Frithjof Dau.