TY - BOOK
AU - Jäger, Gerhard
AU - Pohlers, Wolfram
T1 - Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme
CY - München
PY - 1983
T3 - Sitzungsberichte
VL - 1982,1
UR - https://publikationen.badw.de/de/001077193
ER -