Notation systems for infinitary derivati
β
Wilfried Buchholz
π
Article
π
1991
π
Springer
π
English
β 945 KB