| Buchholz, Wilfried and Schütte, K. (1983): Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion. München: Verlag der bayerischen Akademie der Wissenschaften |
|
1740Kb |
| Item Type: | Book |
|---|---|
| Collections: | Mathematics, Computer Science and Statistics |
| Subjects: | 500 Science > 510 Mathematics |
| URN: | urn:nbn:de:bvb:19-epub-3840-1 |
| Signature: | UBM:0001/8 N 9596 |
| ID Code: | 3840 |
| Deposited On: | 16. May 2008 09:00 |
| Last Modified: | 08. Jan 2013 16:07 |
Repository Staff Only: item control page