Concepedia
The Journal of Philosophy · 1966 · 601 citations · 0 references
Automated ReasoningMany-valued LogicPhilosophy Of LogicSemanticsSingular Terms