TY - GEN
AU - Jäger, Gerhard
AU -  Pohlers, Wolfram
T1 - Eine beweistheoretische Untersuchung von Delta12-CA BI und verwandter Systeme
CY - München
PY - 1982
PB - Verl. d. Bayer. Akad. d. Wiss.
T3 - Sitzungsbericht der Bayerischen Akademie der Wissenschaften
VL - 1982,1.
UR - http://publikationen.badw.de/de/001077193
SN - 3-7696-4699-1