Principia Mathematica
Top View
- The Theory of the Foundations of Mathematics - 1870 to 1940
- Beyond Gödel
- Gödel, Leibniz and ''Russell's Mathematical Logic''
- Russell on Logicism and Coherence
- Explanation-Based Learning and the Logic of Principia Mathematica
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems I
- Principia Mathematica to *56, Second Edition
- The Metatheory of First-Order Logic: a Contribution to a Defence Of
- Aristotle and Principia Mathematica
- Algebras, Projective Geometry, Mathematical Logic, and Constructing the World
- The Reception of Newton's Principia
- Rieger, A. Paradox, ZF, and the Axiom of Foundation. in Clark, P. and Hallett, M
- 1 Principia Mathematica: Whitehead and Russell
- Godel and Langdell--A Reply to Brown and Greenberg's Use of Mathematics in Legal Theory David R
- A Metasemantic Challenge for Mathematical Determinacy
- On the Cruelty of Really Doing Formal Proofs
- Emi I Post and H Is Anticipation of Godel and Turing
- On Computability.Pdf