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 -