TY - BOOK AU - Schütte, Kurt T1 - Zur Beweistheorie von KPM CY - München PY - 1994 T3 - Sitzungsberichte VL - 1992/93,2 UR - https://publikationen.badw.de/de/011558871 ER -