<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-02-24 17:59:08Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic Mathematics Ordinal numbers |
Add to Reading List |
Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 | DocID: 18WMw - View Document |
 | DocID: 18UD4 - View Document |
![Linear Logic complements Classical Logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed]](https://www.pdfsearch.io/img/227d698f30313a8ee2f4bbf0e4dc715b.jpg "Linear Logic complements Classical Logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed]") | Linear Logic complements Classical Logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed]DocID: MSeE - View Document |
![Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014](https://www.pdfsearch.io/img/c6d3e94a33d98693f6c4d0cdf1f02a01.jpg "Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014") | Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014DocID: bWnn - View Document |
![An overview of the ordinal calculator Paul Budnik Mountain Math Software [removed] c[removed]Mountain Math Software Copyright](https://www.pdfsearch.io/img/99d856c0c83a5779c67ccbb984e76c35.jpg "An overview of the ordinal calculator Paul Budnik Mountain Math Software [removed] c[removed]Mountain Math Software Copyright") | An overview of the ordinal calculator Paul Budnik Mountain Math Software [removed] c[removed]Mountain Math Software CopyrightDocID: bW6B - View Document |