Concepedia
American Mathematical Monthly · 1967 · 68 citations · 0 references
ReasoningEngineeringAutomated ReasoningPhilosophy Of LogicLogical AnalysisLogical ReasoningDescription LogicsSemantics