✦ LIBER ✦

Definition by Induction in Quine's New Foundations for Mathematical Logic

✍ Scribed by Barkley Rosser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Axiom of Choice in Quine's New Found

✍ Ernst P. Specker 📂 Article 📅 1953 🏛 National Academy of Sciences 🌐 English ⚖ 163 KB

On the Consistency of Quine's New Founda

✍ Review by: Paul Bernays 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 352 KB

The Axiom of choice in Quine's New Found

✍ Review by: J. Barkley Rosser 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 115 KB

Finite Sets in Quine's New Foundations

✍ C. Ward Henson 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 676 KB

A Note on the Definition of Identity in

✍ Nino B. Cocchiarella 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 176 KB 👁 2 views

The Axiom of Infinity in Quine's New Fou

✍ J. Barkley Rosser 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 456 KB