TY - GEN
AU - Buchholz, Wilfried
AU -  Schütte, Kurt
T1 - Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis
CY - München
PY - 1981
PB - Verl.d.Bayer.Akad.d.Wiss.
T3 - Sitzungsbericht der Bayerischen Akademie der Wissenschaften
VL - 1980,1.
UR - http://publikationen.badw.de/de/003413160
SN - 3-7696-3580-9