Concepedia
Notre Dame Journal of Formal Logic · 1979 · 65 citations · 0 references
Open access
Automated ReasoningMany-valued LogicPhilosophy Of LogicSubstructural Logic