Non-standard logics for automated reasoning - Smets, Philippe (London [etc.] Academic press, 1988)
Keywords: Teoría del conocimiento; Lógica matemática; Lógica