Switch to: References

Add citations

You must login to add citations.
  1. Who Needs (to Assume) Hume's Principle?Andrew Boucher - manuscript
    Neo-logicism uses definitions and Hume's Principle to derive arithmetic in second-order logic. This paper investigates how much arithmetic can be derived using definitions alone, without any additional principle such as Hume's.
    Export citation