Content deleted Content added
→Functions: Avoid sloppy notation; a function is distinct from its application to a dummy variable. Tags: Mobile edit Mobile web edit |
|||
Line 319:
*Tourlakis, George, 2003. ''Lectures in Logic and Set Theory, Vol. 2''. Cambridge Univ. Press.
==
* [http://us.metamath.org/ Metamath:] A web site devoted to an ongoing derivation of mathematics from the axioms of ZFC and [[first-order logic]].
* [[Stanford Encyclopedia of Philosophy]]:
** [http://plato.stanford.edu/entries/quine-nf Quine's New Foundations]—by Thomas Forster.
Line 326 ⟶ 327:
* Randall Holmes: [https://randall-holmes.github.io/nf.html New Foundations Home Page]
{{Mathematical logic}}
[[Category:Large-scale mathematical formalization projects]]▼
[[Category:Formalism (deductive)]]▼
[[Category:Mathematical logic]]
[[Category:Set theory]]
▲[[Category:Formalism (deductive)]]
▲[[Category:Large-scale mathematical formalization projects]]
| |||