- Comparison of Russell's resolution of the semantical antinomies with that of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.details
|
|
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.details
|
|
Ontology and the vicious-circle principle.Charles S. Chihara - 1973 - Ithaca [N.Y.]: Cornell University Press.details
|
|
A tour of the multivariate lambda calculus.Garrel Pottinger - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 209--229.details
|
|
A refutation of an unjustified attack on the axiom of reducibility.John Myhill - 1979 - In Bertrand Russell & George Washington Roberts (eds.), Bertrand Russell memorial volume. New York: Humanities Press. pp. 81--90.details
|
|
On the nature of judgment.Dorothy Wrinch - 1919 - Mind 28 (111):319-329.details
|
|
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.details
|
|
Mathematical Logic as Based on the Theory of Types.Bertrand Russell, Irving M. Copi & James A. Gould - 1974 - Journal of Symbolic Logic 39 (2):356-356.details
|
|
Russell on substitutivity and the abandonment of propositions.Ian Proops - 2011 - Philosophical Review 120 (2):151-205.details
|
|
Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap. [REVIEW]Michael Potter - 2000 - Erkenntnis 56 (2):264-268.details
|
|
Interpreting quantification.Ruth Barcan Marcus - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):252 – 259.details
|
|
The Substitutional Paradox in Russell's 1907 Letter to Hawtrey [corrected reprint].Bernard Linsky - 2002 - Russell: The Journal of Bertrand Russell Studies 22 (2).details
|
|
Propositional functions and universals in principia mathematica.Bernard Linsky - 1988 - Australasian Journal of Philosophy 66 (4):447 – 460.details
|
|
Russell’s Hidden Substitutional Theory.James Levine - 2001 - Philosophical Review 110 (1):138-141.details
|
|
Russell's Hidden Substitutional Theory. [REVIEW]James Levine - 2001 - Philosophical Review 110 (1):138-141.details
|
|
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.details
|
|
The functions of Russell’s no class theory.Kevin C. Klement - 2010 - Review of Symbolic Logic 3 (4):633-664.details
|
|
Russell's Mathematical Logic.Kurt Gödel - 1946 - In Paul Arthur Schilpp (ed.), The Philosophy of Bertrand Russell, 2nd edition. Evanston, IL: The Library of Living Philosophers, Inc.. pp. 123-154.details
|
|
Russell's way out of the paradox of propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.details
|
|
Aristotle's Concept of Signification'.Terence H. Irwin - 1982 - In M. Schofield & M. C. Nussbaum (eds.), Language and Logos. Cambridge University Press. pp. 241--66.details
|
|