Revision as of 04:09, 9 February 2021 edit David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,633 edits update Holmes link ← Previous edit		Revision as of 04:12, 9 February 2021 edit undo David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,633 edits Update Holmes link Next edit →
Line 324: [http://plato.stanford.edu/entries/quine-nf Quine's New Foundations]—by Thomas Forster. [http://setis.library.usyd.edu.au/stanford/entries/settheory-alternative/ Alternative axiomatic set theories]—by Randall Holmes. * Randall Holmes: [~~http~~https://~~math~~randall-holmes.~~boisestate~~github.~~edu/~holmes/holmes~~io/nf.html New Foundations Home Page] [[Category:Mathematical logic]]

Implementation of mathematics in set theory: Difference between revisions