Concepedia

Some remarks concerning the theory of deduction

Fundamenta Mathematicae · 1925 · 11 citations · 0 references

Open access

Concepts

HumanitiesComputer ScienceKnowledge RepresentationLogicDeductive ReasoningDeductive SystemsPredicate LogicTheorem ProvingIncome Deduction Rules