![Type theory / Formal methods / Function / Set theory / Cardinal number / Expected value / Infinity / Interpretation / New Foundations / Mathematics / Elementary mathematics / Variables Type theory / Formal methods / Function / Set theory / Cardinal number / Expected value / Infinity / Interpretation / New Foundations / Mathematics / Elementary mathematics / Variables](https://www.pdfsearch.io/img/d47212d510831aef32c6bc8b2eecf303.jpg)
| Document Date: 2006-08-24 10:29:34 Open Document File Size: 93,39 KBShare Result on Facebook
Company Russell / / IndustryTerm similar systems / / MusicGroup The One / The Other / / Person Harvey Friedman / Tait / Whatever Cantor / / Position author / /
SocialTag |