Concepedia

Mathematical Logic as Based on the Theory of Types

Bertrand Russell

American Journal of Mathematics · 1908 · 938 citations · 0 references

Concepts

HumanitiesMathematicsFormal MethodsLogicSet TheoryCategory TheoryMathematical LogicMathematical ReasoningPredicate LogicProof TheoryType SystemsKind SystemsType TheoryTyped Lambda Calculus