@book{id_8345,
author = "Buchholz, Wilfried and Schütte, Kurt",
title = "Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis",
year = "1981",
address = "München",
publisher = "Verl.d.Bayer.Akad.d.Wiss.",
series = "Sitzungsbericht der Bayerischen Akademie der Wissenschaften",
volume = "1980,1.",
isbn = "3-7696-3580-9",
url = "http://publikationen.badw.de/de/003413160",
}