Buchholz, Wilfried; 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. |
| 1MB |
Item Type: | Monograph |
---|---|
Faculties: | Mathematics, Computer Science and Statistics > Mathematics |
Subjects: | 500 Science > 510 Mathematics |
URN: | urn:nbn:de:bvb:19-epub-3840-1 |
ISBN: | 3-7696-4706-8 |
Number of Pages: | 132 |
Place of Publication: | München |
Signature: | UBM:0001/8 N 9596 |
Language: | German |
ID Code: | 3840 |
Deposited On: | 16. May 2008 09:00 |
Last Modified: | 04. Nov 2020 12:47 |
Repository Staff Only: item control page