Russell's Zigzag Path to the Ramified Theory of Types

The Principles of Mathematics.

E. N., Bertrand Russell · The Journal of Philosophy · 1938 · 1.9K citations

Mathematics Education, Philosophy Of Language, Engineering +15

The Foundations of Mathematics.

Alonzo Church, Frank Plumpton Ramsey · American Mathematical Monthly · 1932 · 520 citations

Mathematics Education, Mathematics Cognition, Foundational Theory +5

New Foundations for Mathematical Logic

W. V. Quine · American Mathematical Monthly · 1937 · 208 citations

Applied Logic, Non-classical Logic, Automated Reasoning +3

Comparison of Russell's resolution of the semantical antinomies with that of Tarski

Alonzo Church · Journal of Symbolic Logic · 1976 · 196 citations

Formal Semantics, Philosophy Of Language, Semantical Antinomies +13

The Inconsistency or Redundancy of Principia Mathematica

Irving M. Copi · Philosophy and Phenomenological Research · 1950 · 48 citations

Paraconsistent Logic, Abductive Reasoning, Automated Reasoning +2