TY - BOOK
AU - Buchholz, Wilfried
AU - Schütte, Kurt
T1 - Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis
CY - München
PY - 1981
T3 - Sitzungsberichte
VL - 1980,1
UR - https://publikationen.badw.de/de/003413160
ER -