Citation formats
- Plain Text as file
- Buchholz, Wilfried; Schütte, Kurt: Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis. München 1981. Sitzungsberichte: 1980,1. https://publikationen.badw.de/en/003413160
- RIS as file
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/en/003413160 ER -
- BibTex as file
@Book{BuchholzSchütte1981, author = "Buchholz, Wilfried and Schütte, Kurt", title = "Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis", year = "1981", address = "München", series = "Sitzungsberichte", volume = "1980,1", url = "https://publikationen.badw.de/en/003413160", }