| Buchholz, Wilfried and Schütte, K. (1980): Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis. München: Verlag der bayerischen Akademie der Wissenschaften |
|
2123Kb |
| Item Type: | Book |
|---|---|
| Collections: | Mathematics, Computer Science and Statistics |
| Subjects: | 500 Science > 510 Mathematics |
| URN: | urn:nbn:de:bvb:19-epub-3839-8 |
| Number of Pages: | 35 |
| Signature: | UBM:0001/8 81-6108 |
| ID Code: | 3839 |
| Deposited On: | 16. May 2008 08:57 |
| Last Modified: | 08. Jan 2013 16:07 |
Repository Staff Only: item control page