Buchholz, Wilfried and Schütte, Kurt
(1980):
Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta-Analysis.
München: Verlag der Bayerischen Akademie der Wissenschaften.
[PDF, 2MB]
Preview

Item Type: | Monograph |
---|---|
Faculties: | Mathematics, Computer Science and Statistics > Mathematics |
Subjects: | 500 Science > 510 Mathematics |
URN: | urn:nbn:de:bvb:19-epub-3839-8 |
ISBN: | 3-7696-3580-9 |
Place of Publication: | München |
Signature: | UBM:0001/8 81-6108 |
Language: | German |
Item ID: | 3839 |
Date Deposited: | 16. May 2008 08:57 |
Last Modified: | 04. Nov 2020 12:47 |