Concepedia

Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 111<i>16</i>. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.

Journal of Symbolic Logic · 1974 · 484 citations · 0 references

Concepts

HumanitiesMathematicsPhilosophyLogicPhilosophy Of MathematicsSet TheoryDeductive ReasoningFirst-order LogicMathematical LogicNon-classical LogicPhilosophy Of LogicPredicate LogicHistory Of LogicInterpretation Of Logical StatementsIntuitionistic Type TheoryLogical InferenceType TheoryType-logical Semantics

Abstract

Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 111<i>16</i>. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153. - Volume 39 Issue 2