Publication | Closed Access
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.
484
Citations
0
References
1974
Year
Formal LogicAutomated ReasoningBertrand RussellMacmillan CompanyType TheoryConstructive LogicClassical LogicPhilosophy Of LogicFoundation Of MathematicsLogical TheoryLogical Formalism
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