Concepedia
Indagationes Mathematicae (Proceedings) · 1955 · 10 citations · 0 references
HumanitiesMathematicsKnowledge RepresentationLogicDeductive ReasoningDeductive SystemsInductive ReasoningPredicate LogicProof ComplexityTheorem ProvingIncome Deduction RulesLogical DeductionProof By Inference