Concepedia
American Philosophical Quarterly · 1964 · 661 citations · 0 references
HumanitiesPhilosophyKnowledge RepresentationLogicAutomated ReasoningDeductive ReasoningDeductive SystemsInductive ReasoningPredicate LogicTheorem ProvingFormal Proof SystemsLogical DeductionSymbolic Logic